Abstract
We report progress on the development of Actress, a compiler generator based on action semantics. It consists of a number of modules, written in SML, that can be composed to construct either an action notation compiler or a simple compiler generator. We also outline current and future developments that will improve the quality of the generated compilers.
Supported by SERC, UK.
Supported by CNPq, Brazil. On leave from Caixa Econômica Federal, Brazil.
Chapter PDF
Similar content being viewed by others
References
D. F. Brown. Sort inference in action semantics. Research report, Department of Computing Science, University of Glasgow, Scotland, 1992. In preparation.
P. Lee. Realistic Compiler Generation. MIT Press, Cambridge, Massachusetts, 1989.
P. D. Mosses. SIS — semantics implementation system, reference manual and user guide. Departmental Report DAIMI MD-30, Computer Science Department, Aarhus University, Denmark, 1979.
P. D. Mosses. Action Semantics. Cambridge University Press, Cambridge, England, 1992. In preparation.
P. D. Mosses and D. A. Watt. The use of action semantics. In M. Wirsing, editor, Formal Description of Programming Concepts III, pages 135–163. North Holland, Amsterdam, Netherlands, 1987.
H. Moura. An implementation of action semantics. Research report, Department of Computing Science, University of Glasgow, Scotland, 1992. In preparation.
L. Paulson. A compiler generator for semantic grammars. PhD thesis, Stanford University, California, 1981.
D. A. Schmidt. Detecting global variables in denotational specifications. ACM Transactions on Programming Languages and Systems, 7(2):299–310, April 1985.
D. A. Schmidt. Detecting stack-based environments in denotational definitions. Science of Computer Programming, 11:107–131, 1988.
D. A. Schmidt and S. Even. Type inference for action semantics. In N. Jones, editor, ESOP '90, 3rd European Symposium on Programming, pages 118–133, Copenhagen, Denmark, 1990. Springer-Verlag, Berlin, Germany. Lecture Notes in Computer Science, Volume 432.
M. Wand. A semantic prototyping system. SIGPLAN Notices (SIGPLAN '84 Symp. On Compiler Construction), 19(6):213–221, June 1984.
D. A. Watt. Programming Language Syntax and Semantics. Prentice Hall International Series in Computer Science. Prentice Hall, Hemel Hempstead, England, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brown, D.F., Moura, H., Watt, D.A. (1992). Actress: An action semantics directed compiler generator. In: Kastens, U., Pfahler, P. (eds) Compiler Construction. CC 1992. Lecture Notes in Computer Science, vol 641. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55984-1_11
Download citation
DOI: https://doi.org/10.1007/3-540-55984-1_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55984-9
Online ISBN: 978-3-540-47335-0
eBook Packages: Springer Book Archive