Central and East European
Society for Phenomenology

Repository | Series | Book | Chapter

225397

Constructive action semantics in obj

Peter D. Mosses

pp. 281-295

Abstract

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

Published in:

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

Full citation:

Mosses Peter D. (2006) „Constructive action semantics in obj“, In: K. Futatsugi, J. Jouannaud & J. Meseguer (eds.), Algebra, meaning, and computation, Dordrecht, Springer, 281–295.