Abstract
We report progress on the development of a compiler generator based on action semantics. A number of components have been implemented in Standard ML. These can be fitted together to construct either an action notation compiler or a simple compiler generator. We also outline continuing research which is aimed at improving the quality of the compiler generator. A full version of this paper can be found in Brown et al. [2].
Supported by SERC, UK.
Supported by CNPq, Brazil. On leave from Caixa Econômica Federal, Brazil.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
D. F. Brown. Sort inference in action semantics. Research report, Department of Computing Science, The University, Glasgow, Scotland, 1991. In preparation.
D. F. Brown, H. Moura, and D. A. Watt. ACTRESS: an action semantics directed compiler generator. Research report, Department of Computing Science, The University, 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 and D. A. Watt. The use of action semantics. In M. Wirsing, editor, Formal Description of Programming Concepts. North Holland, Amsterdam, Netherlands, 1987.
H. Moura. An implementation of action semantics. Research report, Department of Computing Science, The University, Glasgow, Scotland, 1991. In preparation.
L. Paulson. A compiler generator for semantic grammars. PhD thesis, Stanford University, California, 1981.
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. Springer-Verlag, Berlin, 1990. 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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 British Computer Society
About this paper
Cite this paper
Brown, D.F., Moura, H., Watt, D.A. (1992). Actress: an Action Semantics Directed Compiler Generator. In: Heldal, R., Holst, C.K., Wadler, P. (eds) Functional Programming, Glasgow 1991. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3196-0_4
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3196-0_4
Publisher Name: Springer, London
Print ISBN: 978-3-540-19760-7
Online ISBN: 978-1-4471-3196-0
eBook Packages: Springer Book Archive