Incremental analysis of real programming languages
@inproceedings{Wagner1997IncrementalAO, title={Incremental analysis of real programming languages}, author={T. Wagner and S. Graham}, booktitle={PLDI '97}, year={1997} }
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. [...] Key Method Our algorithm combines Tomita's generalized LR parser with reuse of entire subtrees via state-matching. Disambiguation can occur statically, during or after parsing, or during semantic analysis (using existing incremental techniques); program errors that preclude disambiguation retsin multiple interpretations indefinitely. Our representation and analyses gain efficiency by…Expand Abstract
Figures, Tables, and Topics from this paper
59 Citations
Handling the Complexities of a Real-World Language: A Harmonia Language Module for C
- Computer Science
- 2002
- 2
- PDF
Approximating Context-Free Grammars for Parsing and Verification. (Approximation de grammaires algébriques pour l'analyse syntaxique et la vérification)
- Philosophy, Computer Science
- 2007
- 9
- PDF
Context-aware scanning and determinism-preserving grammar composition, in theory and practice
- Computer Science
- 2010
- 5
- PDF
Decorating tokens to facilitate recognition of ambiguous language constructs
- Computer Science
- Softw. Pract. Exp.
- 2003
- 27
- PDF
A Computer Language Transformation System Capable of Generalized Context-Dependent Parsing
- Computer Science
- 2008
- 2
Parsing in a hostile world
- Computer Science
- Proceedings Eighth Working Conference on Reverse Engineering
- 2001
- 20
Language Analysis and Tools for Ambiguous Input Streams
- Computer Science
- Electron. Notes Theor. Comput. Sci.
- 2004
- 9
- PDF
References
SHOWING 1-5 OF 5 REFERENCES
Efficient incremental parsing for context-free languages
- Computer Science
- Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94)
- 1994
- 37
- Highly Influential
- PDF
The Annotated C++
- Reference Manual. Addison-Wesley,
- 1990
Haskell report
- SIGPLAN Not.,
- 1992