Abstract
Action semantics is a formalism for the definition of programming languages. We present an interpreter for actions, which are the meanings of programs in action semantics. The interpreter shows a clear picture of an action's behaviour. We also describe how an interpreter for a language L can automatically be derived from its action semantic definition.
Supported by CNPq, Brazil. On leave from Caixa EconÔmica Federal, Brazil.
This Article was processed using the IATEX macro package with LLNCS style.
This is a preview of subscription content, log in via an institution to check access.
References
D. F. Brown, H. Moura, and D. A. Watt. Actress: an action semantics directed compiler generator. In Compiler Construction '92. Springer-Verlag, October 1992. To appear.
P. D. Mosses. Action Semantics. Cambridge University Press, 1992.
H. Moura. An implementation of action semantics. Research report, Glasgow University, Computing Science Department, Glasgow, Scotland, 1992. In preparation.
D. A. Watt. Programming Language Syntax and Semantics. Prentice Hall International Series in Computer Science. Prentice Hall, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Moura, H. (1992). An implementation of action semantics (Summary). In: Bruynooghe, M., Wirsing, M. (eds) Programming Language Implementation and Logic Programming. PLILP 1992. Lecture Notes in Computer Science, vol 631. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55844-6_157
Download citation
DOI: https://doi.org/10.1007/3-540-55844-6_157
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55844-6
Online ISBN: 978-3-540-47297-1
eBook Packages: Springer Book Archive