Open Access
Definite Clause Translation Grammars
Harvey Abramson
- pp 233-240
Reads0
Chats0
TLDR
The separation of syntactic and semantic rules is intended to promote modularity, simplicity and clarity of definition, and ease of modification as compared to Definite Clause GramMars, Metamorphosis Grammars, and Restriction GrammARS.Abstract:
In this paper we introduce Definite Clause Translation Grammars, a new class of logic grammars which generalizes Definite Clause Grammars and which may be thought of as a logical implementation of Attribute Grammars. Definite Clause Translation Grammars permit the specification of the syntax and semantics of a language: the syntax is specified as in Definite Clause Grammars; but the semantics is specified by one or more semantic rules in the form of Horn clauses attached to each node of the parse tree (automatically created during syntactic analysis), and which control traversal(s) of the parse tree and computation of attributes of each node. The semantic rules attached to a node constitute therefore, a local data base for that node. The separation of syntactic and semantic rules is intended to promote modularity, simplicity and clarity of definition, and ease of modification as compared to Definite Clause Grammars, Metamorphosis Grammars, and Restriction Grammars.read more
Citations
More filters
Patent
Method and system for creating and validating low level description of electronic design from higher level, behavior-oriented description, including interactive system for hierarchical display of control and dataflow information
TL;DR: In this paper, a technique for hierarchical display of control and dataflow graphs allowing a user to view hierarchically filtered control and flow information related to a design is presented, where the user can specify a level of detail to be displayed for any design element or group of design elements.
Book
Prolog and Natural-Language Analysis
TL;DR: A concise and practical introduction to logic programming and the logic-programming language Prolog, both as vehicles for understanding elementary computational linguistics and as tools for implementing the basic components of natural-language-processing systems.
Patent
Method and system for creating, deriving and validating structural description of electronic system from higher level, behavior-oriented description, including interactive schematic design and simulation
TL;DR: In this article, the authors present a system for interactive design, synthesis and simulation of an electronic system allowing a user to design a system either by specification of a behavioral model in a high level language such as VHDL or by graphical entry.
Journal ArticleDOI
Attribute grammar paradigms—a high-level methodology in language implementation
TL;DR: Attribute grammars are a formalism for specifying programming languages as mentioned in this paper, and they have been applied to a great number of systems automatically producing language implementations from their specifications, and representative specification languages are presented with a common example grammar.
Patent
Method and system for creating and validating low level description of electronic design
TL;DR: In this article, a methodology for generating structural descriptions of complex digital devices from high-level descriptions and specifications is described, which uses a systematic technique to map and enforce consistency of the semantics imbedded in the original, highlevel descriptions.