Linguistique de l’écrit

Revue internationale en libre accès

Collections | Livre | Chapitre

225397

Constructive action semantics in obj

Peter D. Mosses

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.