4th Annual Symposium on Theoretical Aspects of Computer Sciences on STACS 87
The semantics of programming languages: an elementary introduction using structural operational semantics
Operational and algebraic semantics of concurrent processes
Handbook of theoretical computer science (vol. B)
Semantics with applications: a formal introduction
Semantics with applications: a formal introduction
Action semantics
A semantics for ML concurrency primitives
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The formal semantics of programming languages: an introduction
The formal semantics of programming languages: an introduction
LETOS — a lightweight execution tool for operational semantics
Software—Practice & Experience
Semantics of programming languages: a tool-oriented approach
ACM SIGPLAN Notices
Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach
Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach
The Definition of Standard ML
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Exploiting labels in Structural Operational Semantics
Proceedings of the 2004 ACM symposium on Applied computing
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Building adaptable and reusable XML applications with model transformations
WWW '05 Proceedings of the 14th international conference on World Wide Web
Exploiting Labels in Structural Operational Semantics
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
The rewriting logic semantics project
Theoretical Computer Science
Ott: effective tool support for the working semanticist
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
A rewriting logic approach to operational semantics
Information and Computation
Implicit Propagation in Structural Operational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Evolution Scenarios for Rule-Based Implementations of Language-Based Functionality
Electronic Notes in Theoretical Computer Science (ENTCS)
Modular Rewriting Semantics in Practice
Electronic Notes in Theoretical Computer Science (ENTCS)
The Rewriting Logic Semantics Project
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Semantics of Programming Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Ott: Effective tool support for the working semanticist
Journal of Functional Programming
Mapping modular SOS to rewriting logic
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
Exploiting Labels in Structural Operational Semantics
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Hi-index | 0.00 |
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