Eli: a complete, flexible compiler construction system

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Eli: a complete, flexible compiler construction system

Full text

Pdf (7.98 MB)

Source

Communications of the ACM archive
Volume 35 , Issue 2 (February 1992) table of contents

Pages: 121 - 130

Year of Publication: 1992

ISSN:0001-0782

Authors

Robert W. Gray	US WEST Advanced Technologies, Boulder, CO
Steven P. Levi	IBM T. J. Watson Research Center, Yorktown Heights, NY
Vincent P. Heuring	Univ. of Colorado, Boulder
Anthony M. Sloane	Univ. of Colorado, Boulder
William M. Waite	Univ. of Colorado, Boulder

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 67, Citation Count: 35

Additional Information:

references cited by index terms review collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/129630.129637 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Bahrami, A. CAGT An automated approach to abstract and parsing grammars. MS thesis, Department of Electrical and Computer Engineering, University of Colorado, Boulder, Colo., 1986.
	2	Geoffrey Clemm , Leon Osterweil, A mechanism for environment integration, ACM Transactions on Programming Languages and Systems (TOPLAS), v.12 n.1, p.1-25, Jan. 1990 [doi>10.1145/77606.77607]
	3	Gray, R.W. A generator for Lexical analyzers that programmers can use. In Proceedings of USENIX Conference (June 1988).
	4	Ralph E. Griswold , Madge T. Griswold, ICON Programmng Language, Prentice Hall Professional Technical Reference, 1983
	5	Ralph E Griswold , Madge T Griswold, The implementation of the Icon programming language, Princeton University Press, Princeton, NJ, 1986
	6	V P Heuring, The automatic generation of Fast Lexical Analysers, Software—Practice & Experience, v.16 n.9, p.801-808, Sept. 1986
	7	Hext, J.B. Compile-time type matching. The Comput. J. 9 (Feb. 1967), 365-369.
	8	Johnson, S.C. Yacc--Yet another compiler-compiler. Computer Science Tech. Rep. 32, Bell Telephone Laboratories, Murray Hill, N.J., July 1975.
	9	Kastens, U. Code generation based on operator identification. Bericht der Reihe Informatik Nr. 49, Universitat-GH Paderborn, Paderborn, FRG, Jan. 1988.
	10	Kastens, U. LIDO A specification language for attribute grammars. Betriebsdatenerfassung, Fachbereich Mathematik-lnformatik, Universitat-GH Paderborn, Pader, born, FRG, Oct. 1989.
	11	Lesk, M.E. LEX--A Lexical ana* lyzer generator. Computing Science Tech. Rep. 39, Bell Telephone Lab, oratories, Murray Hill, N.J., 1975.
	12	Guido Persch , Georg Winterstein , Manfred Dausmann , Sophia Drossopoulou, Overloading in preliminary Ada, ACM SIGPLAN Notices, v.15 n.11, November 1980
	13	Brian Randall , Lawford J. Russell, Algol-60 Implementation, Academic Press, Inc., Orlando, FL, 1964
	14	Rosing, M. and Schnabel, R.B. An overview of Dino--A new language for numerical computation on distributed memory multiprocessors. CU-CS-385-88, Department of Computer Science, University of Colorado, Boulder, Colo., Mar. 1988.
	15	M. Rosing , R. B. Schnabel , R. Weaver, Dino: summary and examples, Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues, p.472-484, January 19-20, 1988, Pasadena, California, United States [doi>10.1145/62297.62353]
	16	Michael Sonnenschein, Graph translation schemes to generate compiler parts, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.4, p.473-490, Oct. 1987 [doi>10.1145/29873.29874]
	17	William M. Waite, Use of attribute grammars in compiler construction, Proceedings of the international conference on Attribute grammars and their applications, p.255-265, September 1990, Paris, France
	18	Wake, W.M. and Carter, L.R. The cost of a generated parser. Softw.-- Prac. Exp. 15 (Mar. 1985), 221-239:
	19	Waite, W.M., Grosch, J., and Schroer, F.W. Three compiler specifications. GMD-Studien Nr. 166, Gesellschaft fur Mathematik und Datenverarbeitung, Karlsruhe, FRG, Aug. 1989.
	20	Waite, W.M., Heuring, V.P., and Kastens, U. Configuration control in compiler construction. In Proceedings of the International Workshop on Software Version and Configuration Control, Teubner (Stuttgart, FRG, 1988).

CITED BY 35

	Premkumar T. Devanbu, GENOA—a customizable, front-end-retargetable source code analysis framework, ACM Transactions on Software Engineering and Methodology (TOSEM), v.8 n.2, p.177-212, April 1999
	Premkumar T. Devanbu , David S. Rosenblum , Alexander L. Wolf, Automated construction of testing and analysis tools, Proceedings of the 16th international conference on Software engineering, p.241-250, May 16-21, 1994, Sorrento, Italy
	Amer Diwan , William M. Waite , Michele H. Jackson, An infrastructure for teaching skills for group decision making and problem solving in programming projects, ACM SIGCSE Bulletin, v.34 n.1, March 2002
	Premkumar T. Devanbu , David S. Rosenblum , Alexander L. Wolf, Generating testing and analysis tools with Aria, ACM Transactions on Software Engineering and Methodology (TOSEM), v.5 n.1, p.42-62, Jan. 1996
	Anthony M. Sloane, An evaluation of an automatically generated compiler, ACM Transactions on Programming Languages and Systems (TOPLAS), v.17 n.5, p.691-703, Sept. 1995
	Peter Bumbulis , Donald D. Cowan, RE2C: a more versatile scanner generator, ACM Letters on Programming Languages and Systems (LOPLAS), v.2 n.1-4, p.70-84, March–Dec. 1993
	Luciano Baresi , Alessandro Orso , Mauro Pezzè, Introducing formal specification methods in industrial practice, Proceedings of the 19th international conference on Software engineering, p.56-66, May 17-23, 1997, Boston, Massachusetts, United States
	E. E. Villarreal , Don Batory, Rosetta: a generator of data language compilers, ACM SIGSOFT Software Engineering Notes, v.22 n.3, p.146-156, May 1997
	Kenneth M. Anderson , Susanne A. Sherba , William V. Lepthien, Structure and behavior awareness in themis, Proceedings of the fourteenth ACM conference on Hypertext and hypermedia, August 26-30, 2003, Nottingham, UK
	Clinton L. Jeffery, Generating LR syntax error messages from examples, ACM Transactions on Programming Languages and Systems (TOPLAS), v.25 n.5, p.631-640, September 2003
	Carsten Schmidt , Uwe Kastens, Implementation of visual languages using pattern-based specifications, Software—Practice & Experience, v.33 n.15, p.1471-1505, December 2003
	William M. Waite , Michele H. Jackson , Amer Diwan , Paul M. Leonardi, Student culture vs group work in computer science, ACM SIGCSE Bulletin, v.36 n.1, March 2004
	J. M. Bishop , R. Faria, Characteristics of modern system implementation languages, Proceedings of the 1995 ACM 23rd annual conference on Computer science, p.18-25, February 28-March 02, 1995, Nashville, Tennessee, United States
	Anthony M. Sloane , Jason Holdsworth, Beyond traditional program slicing, ACM SIGSOFT Software Engineering Notes, v.21 n.3, p.180-186, May 1996
	Matt Rosing, A programmable preprocessor for parallelizing Fortran-90, Proceedings of the 1999 ACM/IEEE conference on Supercomputing (CDROM), p.3-es, November 14-19, 1999, Portland, Oregon, United States
	Elizabeth Bjarnason , Görel Hedin , Klas Nilsson, Interactive language development for embedded systems, Nordic Journal of Computing, v.6 n.1, p.36-54, Spring 1999
	M. Govett , L. Hart , T. Henderson , J. Middlecoff , D. Schaffer, The scalable modeling system: directive-based code parallelization for distributed and shared memory computers, Parallel Computing, v.29 n.8, p.995-1020, 1 August 2003
	Marjan Mernik , Jan Heering , Anthony M. Sloane, When and how to develop domain-specific languages, ACM Computing Surveys (CSUR), v.37 n.4, p.316-344, December 2005
	Karl Lieberherr , Boaz Patt-Shamir , Doug Orleans, Traversals of object structures: Specification and Efficient Implementation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.2, p.370-412, March 2004
	Pei-Chi Wu, On exponential-time completeness of the circularity problem for attribute grammars, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.1, p.186-190, January 2004
	Paul Klint , Ralf Lämmel , Chris Verhoef, Toward an engineering discipline for grammarware, ACM Transactions on Software Engineering and Methodology (TOSEM), v.14 n.3, p.331-380, July 2005
	John Tang Boyland, Remote attribute grammars, Journal of the ACM (JACM), v.52 n.4, p.627-687, July 2005
	João Saraiva , Doaitse Swierstra, Generating spreadsheet-like tools from strong attribute grammars, Proceedings of the second international conference on Generative programming and component engineering, p.307-323, September 22-25, 2003, Erfurt, Germany
	Lutz Prechelt, Exploiting Domain-Specific Properties: Compiling Parallel Dynamic Neural Network Algorithms into Efficient Code, IEEE Transactions on Parallel and Distributed Systems, v.10 n.11, p.1105-1117, November 1999
	Martin Bravenboer , Karl Trygve Kalleberg , Rob Vermaas , Eelco Visser, Stratego/XT 0.17. A language and toolset for program transformation, Science of Computer Programming, v.72 n.1-2, p.52-70, June, 2008
	Eric Van Wyk , Derek Bodin , Jimin Gao , Lijesh Krishnan, Silver: an Extensible Attribute Grammar System, Electronic Notes in Theoretical Computer Science (ENTCS), v.203 n.2, p.103-116, April, 2008
	Daniel C. Wang , Andrew W. Appel , Jeff L. Korn , Christopher S. Serra, The Zephyr abstract syntax description language, Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997, p.17-17, October 15-17, 1997, Santa Barbara, California
	Claus Brabrand , Michael I. Schwartzbach, The metafront system: Safe and extensible parsing and transformation, Science of Computer Programming, v.68 n.1, p.2-20, August, 2007
	Jørgen Bøndergaard Iversen, An action compiler targeting Standard ML, Science of Computer Programming, v.68 n.2, p.79-94, September, 2007
	W. M. Waite, An executable language definition, ACM SIGPLAN Notices, v.28 n.2, p.21-40, Feb. 1993
	Xiaohua Jia , Mamoru Maekawa, Operating system kernel automatic construction, ACM SIGOPS Operating Systems Review, v.29 n.3, p.91-96, July 1995
	Samuel Kamin , Eric Golin, Report of a workshop on future directions in programming languages and compilers, ACM SIGPLAN Notices, v.30 n.7, p.9-28, July 1995
	Peter Thiemann , Matthias Neubauer, Macros for context-free grammars, Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming, July 15-17, 2008, Valencia, Spain
	Eric Van Wyk, Implementing aspect-oriented programming constructs as modular language extensions, Science of Computer Programming, v.68 n.1, p.38-61, August, 2007
	Hermann S. Lichte , Stefan Valentin, Implementing MAC protocols for cooperative relaying: a compiler-assisted approach, Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops, March 03-07, 2008, Marseille, France

INDEX TERMS

Primary Classification:
D. Software
D.3 PROGRAMMING LANGUAGES
D.3.4 Processors

Nouns: Eli

General Terms:
Design, Languages

Keywords:
compiler generators, language design, text processors

REVIEW

"Dirk Craeynest : Reviewer"

The Eli system was developed to reduce the cost of producing compilers. The compilation problem is decomposed into smaller problems, each of which is then solved by using declarative specifications instead of writing algorithmic code. more...

Collaborative Colleagues:

Robert W. Gray: colleagues

Steven P. Levi: colleagues

Vincent P. Heuring: colleagues

Anthony M. Sloane: colleagues

William M. Waite: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player