Repository | Book | Chapter
(2006) Algebra, meaning, and computation, Dordrecht, Springer.
Goguen and Malcolm specify semantics of programming languages in OBJ. Here, we consider how the extensibility and reusability of their specifications could be improved. We propose using the notation and modular structure of the Constructive Action Semantics framework in OBJ, and give a simple illustration. The reader is assumed to be familiar with OBJ.
Publication details
DOI: 10.1007/11780274_15
Full citation:
Mosses, P. D. (2006)., Constructive action semantics in obj, in K. Futatsugi, J. Jouannaud & J. Meseguer (eds.), Algebra, meaning, and computation, Dordrecht, Springer, pp. 281-295.
This document is unfortunately not available for download at the moment.