• Publications
  • Influence
Modular structural operational semantics
  • P. Mosses
  • Computer Science
  • J. Log. Algebraic Methods Program.
  • 1 July 2004
TLDR
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. Expand
Action Semantics
TLDR
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. Expand
CASL: the Common Algebraic Specification Language
TLDR
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. Expand
Denotational Semantics
  • P. Mosses
  • Computer Science
  • Handbook of Theoretical Computer Science, Volume…
  • 2 January 1991
TLDR
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. Expand
CASL User Manual
TLDR
The semantics of CASL defines mathematical entities that formally model the intended meaning of various concepts underlying CASL, as already hinted at in Chap. Expand
Foundations of Modular SOS
  • P. Mosses
  • Computer Science
  • MFCS
  • 6 September 1999
TLDR
A novel form of labelled transition system is proposed, where the labels are the arrows of a category, and adjacent labels in computations are required to be composable, providing the foundations for modular SOS descriptions of programming languages. Expand
CASL User Manual: Introduction to Using the Common Algebraic Specification Language
TLDR
This chapter discusses the construction of specifications for the Steam-Boiler Control Specification System and some of the techniques used to develop these specifications. Expand
Casl Reference Manual: The Complete Documentation Of The Common Algebraic Specification Language (LECTURE NOTES IN COMPUTER SCIENCE)
CASL Summary.- I. Casl Summary.- CASL Syntax.- II. Casl Syntax.- CASL Semantics.- III. Casl Semantics.- CASL Logic.- IV. Casl Logic.- CASL Libraries.- V. Casl Libraries.
Casl Reference Manual
  • P. Mosses
  • Computer Science
  • Lecture Notes in Computer Science
  • 2004
TLDR
Syntax Sorts and Constructors is an index of types and constructors used in the development ofntax-based computer programming. Expand
CoFI: The Common Framework Initiative for Algebraic Specification and Development
  • P. Mosses
  • Computer Science
  • Current Trends in Theoretical Computer Science
  • 1 May 2001
TLDR
The proliferation of specification languages, some differing in only quite minor ways from each other, is a considerable obstacle for the use of algebraic methods in industrial contexts, making it difficult to exploit standard examples, case studies and training material. Expand
...
1
2
3
4
5
...