Higher-order attribute grammars and editing environments

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Higher-order attribute grammars and editing environments

Full text

Pdf (1.49 MB)

Source

ACM SIGPLAN Notices archive
Volume 25 , Issue 6 (June 1990) table of contents

Pages: 197 - 208

Year of Publication: 1990

ISSN:0362-1340

Also published in ...

Authors

Tim Teitelbaum	Department of Computer Science, Cornell University, Ithaca, NY
Richard Chapman	Department of Computer Science, Cornell University, Ithaca, NY

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 26, Citation Count: 7

Additional Information:

references cited by index terms 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/93548.93567 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.

	BC85	George McArthur Beshers , Roy Harold Campbell, Maintained and constructor attributes, Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments, p.34-42, June 25-28, 1985, Seattle, Washington, United States
	BFHP89	B. Backlund, P. Forslund, O. Hagsand, and B. Pehrson. Generation of graphic languageoriented design environments. In 9th IFIP International Symposium on Protocol Specification, Tezting, and Verification, Twente University, April 1989.
	BS86	Rolf Bahlke , Gregor Snelting, The PSG system: from formal language definitions to interactive programming environments, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.4, p.547-576, Oct. 1986 [doi>10.1145/6465.20890]
	Con86	R. L. Constable , S. F. Allen , H. M. Bromley , W. R. Cleaveland , J. F. Cremer , R. W. Harper , D. J. Howe , T. B. Knoblock , N. P. Mendler , P. Panangaden , J. T. Sasaki , S. F. Smith, Implementing mathematics with the Nuprl proof development system, Prentice-Hall, Inc., Upper Saddle River, NJ, 1986
	DRT81	Alan Demers , Thomas Reps , Tim Teitelbaum, Incremental evaluation for attribute grammars with application to syntax-directed editors, Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.105-116, January 26-28, 1981, Williamsburg, Virginia [doi>10.1145/567532.567544]
	Far86	Rodney Farrow, Automatic generation of fixed-point-finding evaluators for circular, but well-defined, attribute grammars, Proceedings of the 1986 SIGPLAN symposium on Compiler construction, p.85-98, June 25-27, 1986, Palo Alto, California, United States
	FZ89	P. Franchi-Zannettacci. Attribute specifications for graphical interface generation. In G. X. Bitter, editor, Eleventh World Computer IFIP Congress, pages 149-155, San Fransisco, CA, USA, August 1989. Information Processing 89, Elsevier Science Pub. (North Holland).
	Gri87	Timothy G. Griffin, An Environment for Formal Systems, Cornell University, Ithaca, NY, 1987
	Hoo87	R. Hoover, Incremental graph evaluation (attribute grammar), Cornell University, Ithaca, NY, 1987
	HT86	Susan Horwitz , Tim Teitelbaum, Generating editing environments based on relations and attributes, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.4, p.577-608, Oct. 1986 [doi>10.1145/6465.6512]
	JF85	Gregory F. Johnson , C. N. Fischer, A meta-language and system for nonlocal incremental attribute evaluation in language-based editors, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.141-151, January 14-16, 1985, New Orleans, Louisiana, United States [doi>10.1145/318593.318627]
	Jou89	M. Jourdan. Personal communication, September 1989. A version of CENTAUR is planned that will make use of the FNC-2 system for incremental semantic analysis.
	Kas80	U. Kastens. Ordered attribute grammars. A CTA Informatica, 13(3):229-256, 1980.
	Knu68	D.E. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2:127- 145, 1968.
	LMOW88	Peter Lipps , Ulrich Möncke , Matthias Olk , Reinhard Wilhelm, Attribute (re)evaluation in OPTRAN, Acta Informatica, v.26 n.3, p.213-239, Nov. 1988 [doi>10.1007/BF00299633]
	Pfr86	Mary Patricia Pfreundschuh, A model for building modular systems based on attribute grammars (software configuration management, incremental algorithms), 1986
	PK82	Robert Paige , Shaye Koenig, Finite Differencing of Computable Expressions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.3, p.402-454, July 1982 [doi>10.1145/357172.357177]
	Rep84	Thomas W. Reps, Generating language-based environments, Massachusetts Institute of Technology, Cambridge, MA, 1984
	RT84	Thomas Reps , Tim Teitelbaum, The synthesizer generator, Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.42-48, April 1984
	RT88a	Thomas W. Reps , Tim Teitelbaum, The synthesizer generator: a system for constructing language-based editors, Springer-Verlag New York, Inc., New York, NY, 1989
	RT88b	Thomas W. Reps , Tim Teitelbaum, The synthesizer generator reference manual (3rd ed.), Springer-Verlag New York, Inc., New York, NY, 1989
	RT89	Brian Ritchie , Paul Taylor, The interactive proof editor: an experiment in interactive, Current trends in hardware verification and automated theorem proving, Springer-Verlag New York, Inc., New York, NY, 1989
	SDB84	Mayer D. Schwartz , Norman M. Delisle , Vimal S. Begwani, Incremental compilation in Magpie, Proceedings of the 1984 SIGPLAN symposium on Compiler construction, p.122-131, June 17-22, 1984, Montreal, Canada
	Sto77	Joseph E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, Cambridge, MA, 1977
	VSK89	H. H. Vogt , S. D. Swierstra , M. F. Kuiper, Higher order attribute grammars, Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation, p.131-145, June 19-23, 1989, Portland, Oregon, United States
	Yeh83	D. Yeh. On incremental evaluation of ordered attributed grammars. BIT, 23:308-320, 1983.
	YS87	D. Yellin and R. Strom. INC: A language for incremental computations. Technical Report RC 13327, IBM, Thomas J. Watson Research Center, Yorktown Heights, New York 10598, December 1987.

CITED BY 7

	Alan Carle , Lori Pollock, Matching-based incremental evaluators for hierarchical attribute grammar dialects, ACM Transactions on Programming Languages and Systems (TOPLAS), v.17 n.2, p.394-429, March 1995
	Martin Odersky, Defining context-dependent syntax without using contexts, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.3, p.535-562, July 1993
	Alan Carle , Lori Pollock, On the optimality of change propagation for incremental evaluation of hierarchical attribute grammars, ACM Transactions on Programming Languages and Systems (TOPLAS), v.18 n.1, p.16-29, Jan. 1996
	G. Ramalingam , Thomas Reps, A categorized bibliography on incremental computation, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.502-510, March 1993, Charleston, South Carolina, United States
	Sofoklis G. Efremidis , Khalid A. Mughal , John H. Reppy , Lars Søraas, AML: attribute grammars in ML, Nordic Journal of Computing, v.4 n.1, p.37-65, Spring 1997
	Boris Burshteyn, USSA—universal syntax and semantics analyzer, ACM SIGPLAN Notices, v.27 n.1, p.42-60, Jan. 1992
	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