Gail E. Kaiser
ABSTRACT
Attribute grammars have been used for many years for automated compiler construction. Attribute grammars support the description of semantic analysis, code generation and some code optimization in a formal declarative style. Other tools support the automation of lexical analysis and parsing. However, there is one large part of compiler construction that is missing from our toolkit: run-time environments. This paper introduces an extension of attribute grammars that supports the generation of run-time environments. The extension also supports the generation of interpreters, symbolic debugging tools, and other execution-time facilities.
- 1.Vincenzo Ambriola, Gail E. Kaiser and Robert J. Enison. An Action Routine Model for ALOE. Technical Report CMU-CS-84-156, Carnegie-Mellon University, Department of Computer Science, August, 1984.Google Scholar
- 2.David R. Barstow, Howard E. Shrobe and Erik Sandewall. interactive Programming Environments. McGraw-Hill Book Co., New York, NY, 1984. Google ScholarDigital Library
- 3.Norman M. Delisle, David E. Menicosy and Mayer D. Schwartz. Viewing a Programming Environment as a Single Tool. In Proceedings of the SIGSOFTISIGPLAN Software Engineering Symposium on Practical Software Development Environments. April, 1984. Google ScholarDigital Library
- 4.Alan Demers, Thomas Reps and Tim Teitelbaum. Incremental Evaluation for Attribute Grammars with Applications to Syntax-directed Editors. In Conference Record of the Eighth Annual ACM Sym~sium on Principles of Programming Languages (POPL). January, 1981. Google ScholarDigital Library
- 5.Rodney Farrow. Generating a Production Compiler from an Attribute Grammar. IEEE Software 1(4), October, 1984,Google Scholar
- 6.Peter H. Feller and Raul Medina.Mora. An incremental Programming Environng~at. IEEE Transactions on Software Engineering SE-7(5), September, 1981.Google Scholar
- 7.Peter H. Feiler and Gait E. Kaiser. Display-Oriented Structure Manipulation in a Multi-Purpose System. In Proceedings of the IEEE Computer Society's Seventh International Computer Software and Applications Conference (COMPSAC '83), pages 40-48. November, 1983.Google Scholar
- 8.Charles N. Fischer, Gregory F. Johnson, Jon Mauney, Anil Pal, Daniel L. Stock, The POE Language-Based Editor Project. In Proceedings of the SIGSOFTISIGPLAN Software Engineering Symposium on Practical Software Development Environments. April, 1984. Google ScholarDigital Library
- 9.Harald Ganzinger, Knut Ripken and Reinhard Wilhelm. Automatic Generation of Optimizing Multipass Compilers. In Information Processing 77, pages 535-540. North-Holland Publishing Co., New York, NY, 1977.Google Scholar
- 10.David B. Garlan and Philip L. Miller. GNOME: An Introductory Programming Environment Based on a Family of Structure Editors. In Proceedings of the $1GSOFTISIGPLAN Software Engineering Symposium on Practical Software Development Environments. April, 1984. Google ScholarDigital Library
- 11.David B. Garlan. Flexible Unparsing in a Structure Editing Environment. Technical Report CMU-CS-85-129, Carnegie-Mellon University, Department of Computer Science, April, 1985.Google Scholar
- 12.David B. Garlan. Representational Transformations for Tools in Structure Editing Environments. Phi) thesis, Carnegie-Mellon University, 198x. In progress.Google Scholar
- 13.David Garlan and Gail E. Kaiser. MELD: An Object-Oriented Language for Describing Features. Submitted to the ACM Conference on Object Oriented Programming Systems, Languages, and Applications, 1986.Google Scholar
- 14.Adele Goldberg and David Robson. Smalltalk-80 The Language and its Implementation. Addison-Wesley Publishing Co., Reading, MA, 1983. Google ScholarDigital Library
- 15.S.C. Johnson and M.E. Lesk. Language Development Tools. The Bell System Technical Journal 57(6), July-August, 1978.Google Scholar
- 16.Gail E. Kaiser. Tree Manipulation Language User' s Manual. Technical Report RTL-84-TM- 106, Siemens Research and Technology Laboratories, February, 1984.Google Scholar
- 17.Gail E. Kaiser. Semantics of Structure Editing Environments. PhD thesis, Carnegie-Mellon University, May, I985. Technical Report CMU-CS-85- t31. Google ScholarDigital Library
- 18.Donald E. Knuth. Semantics of Context-Free Languages. Mathematical Systems Theory 2(2), June, 1968.Google Scholar
- 19.Raul Medina-Mora. Syntax-Directed E&'ting : Towards Integrated Programming Environments. PhD thesis, Carnegie-Mellon University, March, 1982. Google ScholarDigital Library
- 20.David Notkin. The G ANDALF Project. The Journal of Systems and Software 5(2), May, 1985.Google Scholar
- 21.Steven P. Reiss. Graphical Program Development with PECAN Program Development Systems. In Proceedings of the SIGSOFTISIGPLAN Software Engineering Symposium on Practical Software Development Environments. April, 1984. Google ScholarDigital Library
- 22.Thomas Reps, Tim Teitelbaum and Alan Demers. Incremental Context-Dependent Analysis for Language-Based Editors. ACM Transactions on Programming Languages and Systems (TOPLAS) 5(3), July, 1983. Google ScholarDigital Library
- 23.Thomas Reps and Tim Teitelbaura. The Synthesizer Generator. In Proceed2ngs of the SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments. April, 1984. Google ScholarDigital Library
- 24.Tim Teitelbaum and Thomas Reps. The Cornell Program Synthesizer: A Syntax-Directed Programming Environment. Communications of the ACM 2,4(9), September, 1981. Appears in {2}. Google ScholarDigital Library
Index Terms
- Generation of run-time environments
Recommendations
Generation of run-time environments
Attribute grammars have been used for many years for automated compiler construction. Attribute grammars support the description of semantic analysis, code generation and some code optimization in a formal declarative style. Other tools support the ...
Run-time code generation and modal-ML
PLDI '98: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementationThis paper presents a typed programming language and compiler for run-time code generation. The language, called ML', extends ML with modal operators in the style of the Mini-ML'e language of Davies and Pfenning. ML' allows programmers to use types to ...
Run-time code generation and modal-ML
This paper presents a typed programming language and compiler for run-time code generation. The language, called ML', extends ML with modal operators in the style of the Mini-ML'e language of Davies and Pfenning. ML' allows programmers to use types to ...
Comments