Compiling circular attribute grammars into Prolog
Journal Article
·
· IBM J. Res. Dev.; (United States)
This paper describes an algorithm for compiling attribute grammars into Prolog. The attribute grammars may include inherited and synthesized attributes and contain recursive (circular) definitions. The semantics of the recursive definitions is defined in terms of a fixed-point finding function. The generated Prolog code stands in direct relation to its attribute grammar, where logical variables play the role of synthesized or inherited attributes. Thus an effective method for the execution of recursive attribute grammars has been defined and applied.
- Research Organization:
- IBM Scientific Center, 11601 Wilshire Boulevard, Los Angeles, CA 90025
- OSTI ID:
- 5480888
- Journal Information:
- IBM J. Res. Dev.; (United States), Journal Name: IBM J. Res. Dev.; (United States) Vol. 30:3; ISSN IBMJA
- Country of Publication:
- United States
- Language:
- English
Similar Records
Semantics for coordinated substitution grammars as implemented in Prolog
Incremental VLSI design systems based on circular attribute grammars
Attribute grammar inversion and source-to-source translation
Thesis/Dissertation
·
Wed Dec 31 23:00:00 EST 1986
·
OSTI ID:6673900
Incremental VLSI design systems based on circular attribute grammars
Thesis/Dissertation
·
Tue Dec 31 23:00:00 EST 1985
·
OSTI ID:6208595
Attribute grammar inversion and source-to-source translation
Thesis/Dissertation
·
Wed Dec 31 23:00:00 EST 1986
·
OSTI ID:7106897