Abstract
We show the main features of the Abaco system, a semantic directed compiler generator, that produces object-oriented compilers from action semantics descriptions of programming languages.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
P. D. Mosses. Unified algebras and modules. Departamental Report DAIMI PB-266, Aarhus University, Computer Science Department, Denmark, 1988.
Peter D. Mosses. Action Semantics. Number 26 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992.
Peter D. Mosses and David A. Watt. Pascal action semantics, version 0.6. Available by FTP as ftp.brics.dk/pub/BRICS/Projects/AS/Papers/-MossesWatt93DRAFT/ pas-0.6.ps.Z, March 1993.
Homepage of the RAT Project. http://www.di.ufpe.br/~rat.
David A. Watt. An action semantics of Standard ML. In Proc. Third Workshop on Math. Foundations of Programming Language Semantics, New Orleans, volume 298 of Lecture Notes in Computer Science, pages 572–598. Springer-Verlag, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de Moura, H.P., de Sousa Menezes, L.C. (1998). The Abaco System — An Algebraic Based Action COmpiler. In: Haeberer, A.M. (eds) Algebraic Methodology and Software Technology. AMAST 1999. Lecture Notes in Computer Science, vol 1548. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49253-4_38
Download citation
DOI: https://doi.org/10.1007/3-540-49253-4_38
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65462-9
Online ISBN: 978-3-540-49253-5
eBook Packages: Springer Book Archive