Alan Demers
Thomas Reps
ABSTRACT
A syntax-directed editor is a tool for structured program development. Such an editor can enforce syntactic correctness incrementally by restricting editing operations to legitimate modifications of the program's context-free derivation tree. However, not all language features can be described by the context-free formalism. To build editors that enforce non-context-free correctness, a more powerful specification technique is needed. In this paper we discuss the advantages of attribute grammars as a specification technique for a syntax-directed editing system. We also present an efficient algorithm for incrementally evaluating attributes as a program tree is derived.
- Babich, W. A. and Jazayeri, M. The method of attributes for data flow analysis. part I: exhaustive analysis, part II: demand analysis. Acta Informatica 10, 3 (0ctober 1978), 245-272.Google Scholar
Digital Library
- Bochmann, G. V. Semantic evaluation from left to right. CACM 19, 2 (February 1976), 55-62. Google ScholarDigital Library
- Cohen, R. and Harry, E. Automatic generation of near-optimal linear-time translators for non-circular attribute grammar. Conference Record of the Sixth ACM Symposium on Principles of Programming Languages, January 1979, 121-134. Google ScholarDigital Library
- Donzeau-Gouge, V., Huet, G., Kahn, G., Lang B., and Levy, J. J. A structure-oriented program editor. Technical Report, IRIA-LABORIA, France 1975.Google Scholar
- Donzeau-Gouge, V., Huet, G., Kahn, G., and Lang B. Programming environments based on structured editors: the MENTOR experience. Technical Report, INRIA, France, May 1980.Google Scholar
- Fang, I. FOLDS, a declarative formal language definition system. Tech. Report No. STAN-CS-72-329, Computer Science Dept., Stanford University, December 1972.Google ScholarDigital Library
- Farrow, R. W. Attributed grammar models for data flow analysis. Ph.D. Thesis, Rice University, Houston, Texas, May 1977. Google ScholarDigital Library
- Hansen, W. Creation of hierarchic text with a computer display. Ph.D Thesis, Computer Science Dept., Stanford University, June 1971. Google ScholarDigital Library
- Jazayeri, M. On attribute grammars and the semantic specification of programming languages. Ph.D. Thesis, Comp. and Info. Sci. Dept., Case Western Reserve University, 1974. Google ScholarDigital Library
- Kennedy, K. and Warren, S. K. Automatic generation of efficient evaluators for attribute grammars. Conference Record of the Third ACM Symposium on Principles of Programming Languages, January 1976, 32-49. Google ScholarDigital Library
- Kennedy, K. and Ramanathan, J. A deterministic attribute grammar evaluator based on dynamic sequencing. ACM Trans. on Prog. Lang. and Sys. 1, 1 (July 1979) 142-160. Google ScholarDigital Library
- Knuth, D. E. Semantics of context free languages. Math. Systems Theory J. 2, 2 (1968), 127-145.Google ScholarCross Ref
- Lewis, P. M., Rozenkranz, D. J., and Stearns, R. E. Attributed translations. J. of Comp. and Systems Sciences 9, 3 (December 1974), 279-307.Google ScholarDigital Library
- Mikelsons, M. and Wegman, M. N. PDE1L: The PL1L program development environment principles of operation. Research report RC8513, IBM Watson Research Center, Yorktown Heights, November 1980.Google Scholar
- Reps, T. The Synthesizer Editor Generator. In preparation.Google Scholar
- Skedzeleski, S. K. Definition and use of attribute reevaluation in attributed grammars. Technical Report 340, Computer Sciences Department, University of Wisconsin-Madison, October 1978.Google Scholar
- Teitelbaum, T. The Cornell Program Synthesizer: a microcomputer implementation of PL/CS. Tech. Report No. TR79-370, Dept. Computer Science, Cornell University, June 1979. Google ScholarDigital Library
- Teitelbaum, T. The Cornell Program Synthesizer: a tutorial introduction. Tech. Report No. TR79-381, Dept. Computer Science, Cornell University, July 1979, Revised June 1980.Google Scholar
- Teitelbaum, T. and Reps, T. The Cornell Program Synthesizer: a syntax-directed programming environment. Tech. Report No. TR80-421, Dept. Computer Science, Cornell University, May 1980.Google Scholar
- Warren, S. K. The efficient evaluation of attribute grammars. M. A. Thesis, Rice University, Houston, Texas, April 1975.Google Scholar
- Warren, S. K. The coroutine model of attribute grammar evaluation. Ph.D. Thesis, Rice University, Houston, Texas, April 1976. Google ScholarDigital Library
- Wegman, M. N. Parsing for structural editors. Conference Record of the Twenty-first annual Symposium on Foundations of Computer Science, October 1980, 320-327.Google ScholarDigital Library
- Incremental evaluation for attribute grammars with application to syntax-directed editors
Recommendations
The Interpretation of Meta Grammars Describing Syntax-Directed Interpreters Using an Attribute Grammar Interpreter
A syntax-directed interpreter of attribute grammars is applied to interpret meta grammars describing translators. A specific example is used which concerns the formal description of the same syntax-directed interpreter of attribute grammars for ...
Efficient incremental LR parsing for syntax-directed editors
A technique for generating parsers which is an extension to LR techniques and is based on parsing table splitting, is presented. Then this technique is slightly extended to support incremental syntax analysis. Given a context-free grammar and a set “IC” ...
Language Modeling for Syntax-Based Machine Translation Using Tree Substitution Grammars: A Case Study on Chinese-English Translation
The poor grammatical output of Machine Translation (MT) systems appeals syntax-based approaches within language modeling. However, previous studies showed that syntax-based language modeling using (Context-Free) Treebank Grammars was not very helpful in ...
Comments