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.
CITATION STYLE
Moura, H. (1992). An implementation of action semantics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 631 LNCS, pp. 477–478). Springer Verlag.
Mendeley helps you to discover research relevant for your work.