Patent
Predicate matching library for complex program analysis
Manuel Klimek,Zhanyong Wan,Bruce Chandler Carruth +2 more
- 09 Dec 2011
17
TL;DR: In this article, a matching library of a code analysis system defines a number of predicates applicable to an abstract syntax tree corresponding to program code being analyzed, such as representing a class that inherits from another given class.
read more
Abstract: A matching library of a code analysis system defines a number of predicates applicable to an abstract syntax tree (AST) corresponding to program code being analyzed. The predicates represent whether or not nodes of the program code's AST have corresponding properties, such as representing a class that inherits from another given class. The code analysis system obtains an AST to analyze, a predicate expression query that includes predicates of the matching library, and action code. The code analysis system identifies nodes of the AST that match the predicate expression query by executing code of the matching library and executes the action code against the identified nodes.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Patent
Translating Natural Language Utterances to Keyword Search Queries
Dilek Hakkani-Tur,Gokhan Tur,Rukmini Iyer,Larry Heck +3 more
- 23 Aug 2012
TL;DR: In this article, a statistical model is trained to detect domains according to a plurality of query click log data, and then the model is used to translate the natural language query into an action and at least one result associated with performing the action may be provided.
143
Patent
Task driven user intents
Larry Heck,Madhusudan Chinthakunta,David Mitby,Lisa Stifelman +3 more
- 27 Mar 2012
TL;DR: In this paper, a plurality of network applications may be identified and an ontology associated with each of the plurality of applications was defined, and if a phrase received from a user is associated with at least one of the defined ontologies, an action associated with the network application may be executed.
105
Sentence simplification for spoken language understanding
Gokhan Tur,Dilek Hakkani-Tur,Larry Heck,Sarangarajan Parthasarathy +3 more
- 12 May 2011
TL;DR: A dependency parsing-based sentence simplification approach that extracts a set of keywords from natural language sentences and uses those in addition to entire utterances for completing SLU tasks is proposed.
Patent
Augmented conversational understanding architecture
Larry Heck,Madhusudan Chinthakunta,David Mitby,Lisa Stifelman +3 more
- 27 Mar 2012
TL;DR: In this article, an augmented conversational understanding architecture is provided, in which a natural language phrase from a user is translated into a search phrase and a search action may be performed on the search phrase.
50
Patent
Augmented conversational understanding agent to identify conversation context between two humans and taking an agent action thereof
Larry Heck,Madhusudan Chinthakunta,David Mitby,Lisa Stifelman +3 more
- 31 Mar 2011
TL;DR: In this paper, an augmented conversational understanding agent is provided, which can provide a context associated with the at least one natural language phrase from a user and a result associated with performing the action.
11
References
Code generation using tree matching and dynamic programming
TL;DR: A tree-manipulation language called twig has been developed to help construct efficient code generators that combines a fast top-down tree-pattern matching algorithm with dynamic programming.
Patent
Method and system for interactive computer science testing, anaylsis and feedback
Warren Sack,Randy Elliot Bennett +1 more
- 13 Dec 1991
TL;DR: In this article, the student inputs a solution in response to the problem selected, and the solution program is converted, by lexing and parsing, into an abstract syntax tree representation.
210
Patent
Method and apparatus for automatically generating hardware from algorithms described in MATLAB
Prithviraj Banerjee,Alok Choudhary,Malay Haldar,Anshuman Nayak +3 more
- 26 Jan 2001
TL;DR: In this paper, a MATLAB program is compiled into RTL-VHDL, which is synthesizable using system-specific tools to develop ASIC or FPGA configuration Intermediate transformations and optimizations are performed to obtain highly optimized description in RTL VHDL or RTL Verilog of given MATLAB programs.
72
Patent
Concept-oriented software engineering system and method for identifying, extracting, organizing, inferring and querying software system facts
John Kuriakose,Yogesh Sudhir Dandawate,Manish Malhotra,Kumar Manava Tiwari +3 more
- 19 Sep 2008
TL;DR: In this paper, a repository of software system facts comprising concepts, concept instances and relationships within the software system is identified and stored in a repository, which are extracted from artifacts comprising software systems or are provided through explicit definition.
39
Patent
Method and tool for automatic verification of software protocols
Dimiter R. Avresky
- 24 May 2007
TL;DR: In this paper, a method of automatically verifying software code is provided, which may include generating a logic representation of software code, identifying a set of well-defined formula sequences in the logic representation, and verifying the software code based on the set of defined formula sequences.
35