Pragmatics of Modular SOS
TLDR
This paper gives some illustrative examples of the use of the Modular SOS framework, and discusses various pragmatic aspects.Abstract:
Modular SOS is a recently-developed variant of Plotkin's Structural Operational Semantics (SOS) framework. It has several pragmatic advantages over the original framework--the most significant being that rules specifying the semantics of individual language constructs can be given definitively , once and for all. Modular SOS is being used for teaching operational semantics at the undergraduate level. For this purpose, the meta-notation for modular SOS rules has been made more user-friendly, and derivation of computations according to the rules is simulated using Prolog. After giving an overview of the foundations of Modular SOS, this paper gives some illustrative examples of the use of the framework, and discusses various pragmatic aspects.read more
Citations
More filters
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.
Journal ArticleDOI
The rewriting logic semantics project
José Meseguer,Grigore Rou +1 more
TL;DR: The fact that a rewrite logic theory's axioms include both equations and rewrite rules provides a useful ''abstraction dial'' to find the right balance between abstraction and computational observability in semantic definitions.
Journal ArticleDOI
A survey of semantic description frameworks for programming languages
Yingzhou Zhang,Baowen Xu +1 more
TL;DR: This survey reviews the history of developments on semantic description frame-works for programming languages and illustrates features and actual applications of the main frameworks (including operational, deno-tational, axiomatic and hybrid semantics).
Journal ArticleDOI
Formal Semantics of Programming Languages
TL;DR: These notes give an overview of the main frameworks that have been developed for specifying the formal semantics of programming languages, including modularity, and potential applicability to visual and modelling languages.
Book ChapterDOI
Mapping modular SOS to rewriting logic
TL;DR: In this article, a mapping from modular operational semantics (MSOS) to rewriting logic (RWL) has been defined, which has been proposed as a logical and semantic framework for structural operational semantics.