Abstract
What is the practical applicability of attribute grammars? As we show in this paper, attribute grammars are at least good enough for the prototyping of fully functional interactive tools. Going from a definition of a language and the functionality of its tools to an attribute grammar is a discipline in need of a systematic approach, for which we give some initial material. As is inevitable when a system is extensively used (in our case the Cornell Synthesizer Generator), this paper also proposes extensions to the attribute grammar formalism and its supporting systems.
mcvax!utrcu1!pve
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
T. Bolognesi and H. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14:25–59, 1987.
H. Brinksma. On the Design of Extended LOTOS. PhD thesis, Twente University of Technology, Enschede Netherlands, 1988.
H. Brinksma. A theory for the derivation of tests. In K. Sabnani and S. Aggarwal, editors, Proceedings of the eighth international conference on protocol specification, testing and verification, pages 63–74, North-Holland, Amsterdam, 1988.
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1. Springer-Verlag, Berlin, 1985.
G. E. Kaiser, S. M. Kaplan, and J. Micallef. Multiuser, distributed language-based environments. IEEE Software, 20(4):58–67, nov 1987.
K. Koskimies, K.-J. Raiha, and M. Sarjakoski. Compiler construction using attribute grammars. SIGPLAN Notices, 17(6):153–159, June 1982.
L. Logrippo, A. Obaid, J. P. Briand, and M. C. Fehri. An interpreter for LOTOS, a specification language for distributed systems. Software — Practice and Experience, 18(4):365–385, April 1988.
R. Milner. A calculus of communicating systems. Lecture Notes in Computer Science, 92, 1980.
J. Quemada, S. Pavon, and A. Fernandez. Transforming LOTOS specifications with LOLA — the parameterised expansion. In K. J. Turner, editor, Formal Description Techniques — Proceedings of the FORTE 88 Conference, pages 45–54, North-Holland, Amsterdam, 1989.
T. Teitelbaum and T. W. Reps. The Synthesizer Generator — A System for Constructing Language-Based Editors. Springer-Verlag, New York, 1989.
T. Teitelbaum and T. W. Reps. The Synthesizer Generator Reference Manual: Third Edition. Springer-Verlag, New York, 1989.
Peter van Eijk. The design of a simulator tool. In P.H.J. van Eijk, C. A. Vissers, and M. Diaz, editors, The Formal Description Technique LOTOS, pages 351–390, North-Holland, Amsterdam, 1989.
Peter van Eijk. LOTOS tools based on the cornell synthesizer generator. In H. Brinksma, G. Scollo, and C. A. Vissers, editors, Proceedings of the ninth international symposium on protocol specification, testing and verification, North-Holland, Amsterdam, 1989.
P.H.J. van Eijk, C. A. Vissers, and M. Diaz, editors. The Formal Description Technique LOTOS — Results of the ESPRIT/SEDOS Project. North-Holland, Amsterdam, 1989.
C. A. Vissers, G. Scollo, and M. van Sinderen. Architecture and specification style in formal descriptions of distributed systems. In K. Sabnani and S. Aggarwal, editors, Proceedings of the eighth international conference on protocol specification, testing and verification, pages 189–204, North-Holland, Amsterdam, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van Eijk, P. (1990). Attribute grammar applications in prototyping LOTOS tools. In: Deransart, P., Jourdan, M. (eds) Attribute Grammars and their Applications. Lecture Notes in Computer Science, vol 461. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53101-7_7
Download citation
DOI: https://doi.org/10.1007/3-540-53101-7_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53101-2
Online ISBN: 978-3-540-46666-6
eBook Packages: Springer Book Archive