P
Peter D. Mosses
Researcher at Swansea University
Publications - 152
Citations - 3860
Peter D. Mosses is an academic researcher from Swansea University. The author has contributed to research in topics: Operational semantics & Action semantics. The author has an hindex of 30, co-authored 150 publications receiving 3780 citations. Previous affiliations of Peter D. Mosses include SRI International & Aalborg University.
Papers
More filters
Book
Denotational semantics
TL;DR: The chapter illustrates the major standard techniques that are used in denotational descriptions of programming languages, such as environments, stores, and continuations, and explains the relation between these techniques and some fundamental concepts of Programming languages.
Journal ArticleDOI
CASL: the common algebraic specification language
Egidio Astesiano,Michel Bidoit,Hélène Kirchner,Bernd Krieg-Brückner,Peter D. Mosses,Donald Sannella,Andrzej Tarlecki +6 more
TL;DR: An overview of the CASL design is given, and all the main concepts and constructs of CASL are briefly explained and illustrated -- the reader is referred to the CASl Language Summary for further details.
Book
Action semantics
TL;DR: The framework is used to perform type inference on specific programs, to justify meaning-preserving code transformations, and to "stage" an action semantics definition of a programming language into a static semantics stage and a dynamic semantics stage.
Journal ArticleDOI
Modular structural operational semantics
TL;DR: The paper explains the crucial differences between SOS and MSOS, and illustrates how MSOS descriptions are written, and discusses standard notions of semantic equivalence based on MSOS.
BookDOI
Casl Reference Manual
TL;DR: Syntax Sorts and Constructors is an index of types and constructors used in the development ofntax-based computer programming.