Attribute Grammars, Applications and Systems: International Summer School SAGA, Prague, Czechoslovakia, June 4-13, 1991. ProceedingsSpringer Science & Business Media, 23.10.1991 - 513 Seiten Attribute grammars have shown themselves to be a useful formalism for specifying the syntax and the static semantics of programming languages. They are also useful for implementing syntax-directed editors, compilers, translator writing systems and compiler generators, and any application that has a strong syntactic base. However, no textbooks are available that cover the entire field. To redress this imbalance, anInternational Summer School on Attribute Grammars, Applications and Systems was held in Prague, Czechoslovakia in June 1991. The course aimed at teaching the state of the art in attribute grammars, and their relation to other language specification methods. This volume presents the proceedings of the school. The papers are well suited for self-study, and a selection of them can be used for introductory courses in attribute grammars. |
Inhalt
INTRODUCTION TO ATTRIBUTE GRAMMARS | |
Attribute Grammars as a Specification Method | 14 |
ATTRIBUTE EVALUATION METHODS | 46 |
Implementation of VisitOriented Attribute Evaluators | 112 |
Storage Allocation for Attribute Evaluators using Stacks and Queues | 138 |
Grammar Flow Analysis | 149 |
Attribute Evaluation and Parsing | 185 |
INCREMENTAL ATTRIBUTE EVALUATION | 213 |
Affix Grammars for Programming Languages | 356 |
Incremental Static Semantic Analysis for ObjectOriented Languages using Door Attribute Grammars | 372 |
Attribute Grammars in a Compiler Construction Environment | 378 |
Prototyping by using an attribute grammar as a logic program | 399 |
USING THE GENERATIVE ASPECT OF ATTRIBUTE GRAMMARS IN A KNOWLEDGE BASED WAY | 436 |
Natural Language Interface Construction Using Attribute Grammars | 458 |
Affix Grammars for Natural Languages | 467 |
Internals and Externals of the FNC2 Attribute Grammar System | 483 |
A Survey of Parallel Attribute Evaluation Methods | 232 |
Higher Order Attribute Grammars | 254 |
ObjectOrientation in Attribute Grammars | 295 |
A Comparison of Concepts | 328 |
503 | |
Attribute Reevaluation in OPTRAN | 505 |
506 | |
Andere Ausgaben - Alle anzeigen
Attribute Grammars, Applications and Systems Henk Alblas,Borivoj Melichar Keine Leseprobe verfügbar - 2014 |
Attribute Grammars, Applications and Systems: International Summer School ... H. Alblar,Bǒrivoj Melichar Keine Leseprobe verfügbar - 1991 |
Häufige Begriffe und Wortgruppen
abstract syntax abstract syntax trees Affix Grammars algorithm allocation application applied occurrence associated attribute evaluation attribute instances attribute occurrences basic bottom-up called clause Compiler Construction Computer Science context context-free grammar corresponding Decl declaration defined Definition denoted dependency graph derivation tree described domain environment equations eval evaluation rules evaluation strategy example Expr expression Filè grammar symbol identifier implementation incremental evaluation information records inherited attributes input integer interpretation labelled left-corner logic programs method module nonterminal nonterminal symbol object object-oriented operations ordered attribute grammars output parallel parse tree parser partition production rule Programming Languages PROLOG proof tree propagation function recursive reevaluation root semantic functions semantic rules set of attributes simple multi-pass specification stack stat statement static statlist string structure subtree symbol table syntax tree terminal symbols top-down tree nodes tuple variable visit functions visit-sequences