The C programming language
Deterministic parsing of ambiguous grammars
Communications of the ACM
Practical syntactic error recovery
Communications of the ACM
A forward move algorithm for LR error recovery
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An efficient insertion-only error-corrector for LL(1) parsers
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Optimized Translation Process and Its Application to ALGOL 68
Optimized Translation Process and Its Application to ALGOL 68
Syntactic specification and analysis with attributed grammars.
Syntactic specification and analysis with attributed grammars.
Combining parsing and evaluation for attributed grammars.
Combining parsing and evaluation for attributed grammars.
Affix grammar driven code generation
ACM Transactions on Programming Languages and Systems (TOPLAS)
A bibliography on syntax error handling in context free languages
ACM SIGPLAN Notices
Incremental Context-Dependent Analysis for Language-Based Editors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Description-driven code generation using attribute grammars
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Realizable Benefits of a Language Prototyping Language
IEEE Transactions on Software Engineering
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Methods for specifying static semantics
Computer Languages
Hi-index | 0.00 |
Aparse is a flexible and modular system for generating efficient one-pass compilers from attributed grammar specifications. The system is of particular interest in that it combines recent research in attributed parsing and error-correction into a powerful and practical tool. It has been amply demonstrated that attributed grammars are a convenient mechanism for organizing translations ([Fan 72], [LRS 74], [Bra 76]). This is partially due to the fact that an attributed grammar is not a completely formal specification tool—it merely provides a framework for structuring a semantic and syntactic specification. A number of compiler-compilers have been written to process attributed grammars ([LB 74], [BW 78], [GRW 77]), but Aparse is unique in incorporating attribute values in the parsing function. We have found that this facility permits smaller grammars to be used, and smaller parsers to be generated. In addition, a significant degree of context-sensitivity can be reflected in what is essentially a context-free framework. Section 2 will contain a brief introduction to attributed grammars, and section 3 will sketch the theory of attributed parsing.