Collections | Livre | Chapitre
Constructive action semantics in obj
pp. 281-295
Résumé
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.
Détails de la publication
Publié dans:
Futatsugi Kokichi, Jouannaud Jean-Pierre, Meseguer José (2006) Algebra, meaning, and computation: essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday. Dordrecht, Springer.
Pages: 281-295
DOI: 10.1007/11780274_15
Citation complète:
Mosses Peter D., 2006, Constructive action semantics in obj. In K. Futatsugi, J. Jouannaud & J. Meseguer (eds.) Algebra, meaning, and computation (281-295). Dordrecht, Springer.