A basic abstract semantic algebra
Proc. of the international symposium on Semantics of data types
4th Annual Symposium on Theoretical Aspects of Computer Sciences on STACS 87
Unified algebras and action semantics
Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science on STACS 89
Type inference for action semantics
Proceedings of the third European symposium on programming on ESOP '90
Handbook of theoretical computer science (vol. B)
Action semantics
Extraction of strong typing laws from action semantics definitions
ESOP'92 Symposium proceedings on 4th European symposium on programming
A provably correct compiler generator
ESOP'92 Symposium proceedings on 4th European symposium on programming
Communications of the ACM
Composing programming languages by combining action-semantics modules
Science of Computer Programming - Special issue: Language descriptions, tools and applications (LDTA'01)
A Constructive Approach to Compiler Correctness
Proceedings of the 7th Colloquium on Automata, Languages and Programming
Actress: An Action Semantics Directed Compiler Generator
CC '92 Proceedings of the 4th International Conference on Compiler Construction
OASIS: An Optimizing Action-Based Compiler Generator
CC '94 Proceedings of the 5th International Conference on Compiler Construction
Programming Language Design Concepts
Programming Language Design Concepts
| Hi-index | 0.00 |
This paper is a themed account of the action semantics project, which Peter Mosses has led since the 1980s. It explains his motivations for developing action semantics, the inspirations behind its design, and the foundations of action semantics based on unified algebras. It goes on to outline some applications of action semantics to describe real programming languages, and some efforts to implement programming languages using action semantics directed compiler generation. It concludes by outlining more recent developments and reflecting on the success of the action semantics project.