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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Doh, K.-G., Mosses, P.D.: Composing programming languages by combining action-semantics modules. Sci. Comput. Programming 47(1), 3–36 (2003)
Giarratana, V., Gimona, F., Montanari, U.: Observability concepts in abstract data type specification. In: Mazurkiewicz, A. (ed.) MFCS 1976. LNCS, vol. 45, pp. 576–587. Springer, Heidelberg (1976)
Goguen, J.A., Malcolm, G.: Algebraic Semantics of Imperative Programs. The MIT Press, Cambridge (1996)
Goguen, J.A., Winkler, T., Meseguer, J., Futatsugi, K., Jouannaud, J.-P.: Introducing OBJ. In: Software Engineering with OBJ: Algebraic Specification in Action, Kluwer, Dordrecht (2000)
Iversen, J.: Formalisms and Tools Supporting Constructive Action Semantics. PhD thesis, University of Aarhus (2005)
Iversen, J., Mosses, P.D.: Constructive action semantics for Core ML. IEE Proceedings-Software 152, 79–98 (2005), Special issue on Language Definitions and Tool Generation
The ASF+SDF Meta-Environment. http://www.cwi.nl/projects/MetaEnv/
Mosses, P.D.: Action Semantics. Cambridge Tracts in Theoretical Computer Science, vol. 26. Cambridge University Press, Cambridge (1992)
Mosses, P.D.: Theory and practice of Action Semantics. In: Penczek, W., Szałas, A. (eds.) MFCS 1996. LNCS, vol. 1113, pp. 37–61. Springer, Heidelberg (1996)
Mosses, P.D.: Fundamental concepts and formal semantics of programming languages. Lecture Notes. Version 0.4, available from the author (2004)
Mosses, P.D.: Modular language descriptions. In: Karsai, G., Visser, E. (eds.) GPCE 2004. LNCS, vol. 3286, pp. 489–490. Springer, Heidelberg (2004)
Mosses, P.D.: Modular structural operational semantics. J. Logic and Algebraic Programming 60(61), 195–228 (2004)
Mosses, P.D.: A constructive approach to language definition. Journal of Universal Computer Science 11(7), 1117–1134 (2005)
Mosses, P.D., Watt, D.A.: The use of action semantics. In: Avernæs, G. (ed.) Formal Description of Programming Concepts III, Proc. IFIP TC2 Working Conference, Gl, Avernæs, pp. 135–166. North-Holland, Amsterdam (1987)
van den Brand, M.G.J., Iversen, J., Mosses, P.D.: An action environment. In: Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications (LDTA 2004). ENTCS, vol. 110, pp. 149–168. Elsevier, Amsterdam (2004)
Wagner, E.G., Wright, J.B., Goguen, J.A., Thatcher, J.W.: Some fundamentals of order-algebraic semantics. In: Mazurkiewicz, A. (ed.) MFCS 1976. LNCS, vol. 45, pp. 153–168. Springer, Heidelberg (1976)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Mosses, P.D. (2006). Constructive Action Semantics in OBJ. In: Futatsugi, K., Jouannaud, JP., Meseguer, J. (eds) Algebra, Meaning, and Computation. Lecture Notes in Computer Science, vol 4060. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11780274_15
Download citation
DOI: https://doi.org/10.1007/11780274_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35462-8
Online ISBN: 978-3-540-35464-2
eBook Packages: Computer ScienceComputer Science (R0)