The art of metaobject protocol
The art of metaobject protocol
Handbook of theoretical computer science (vol. B)
Action semantics
Ordered SOS process languages for branching and Eager bisimulation
Information and Computation
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
A semantics for advice and dynamic join points in aspect-oriented programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modular Structural Operational Semantics with Strategies
Electronic Notes in Theoretical Computer Science (ENTCS)
A modular monadic action semantics
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Electronic Notes in Theoretical Computer Science (ENTCS)
Modular Rewriting Semantics in Practice
Electronic Notes in Theoretical Computer Science (ENTCS)
Mapping modular SOS to rewriting logic
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Hi-index | 0.00 |
Peter Mosses has contributed to computer science in many different ways. In particular, to programming language semantics. I had the pleasure, and the honor, to work with Peter Mosses as a PhD student and to collaborate with him afterwards. His work has greatly influenced my research interests. In this paper, I focus on his constructive approach to the semantics of programming languages. Constructive Semantics is an approach to the specification of programming language semantics that focuses on reuse. As new programming paradigms are developed, the library of reusable parts of semantic components provided by the constructive approach may be extended with new constructs to support the new paradigm. I propose constructs to support basic aspect-oriented programming concepts together with their Modular SOS semantics. Basic notions of structural operational semantics are assumed.