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)
Programming language syntax and semantics
Programming language syntax and semantics
Semantics with applications: a formal introduction
Semantics with applications: a formal introduction
Action semantics
The formal semantics of programming languages: an introduction
The formal semantics of programming languages: an introduction
Communication and Concurrency
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
Composing programming languages by combining action-semantics modules
Science of Computer Programming - Special issue: Language descriptions, tools and applications (LDTA'01)
Modular Denotational Semantics for Compiler Construction
ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Mapping modular SOS to rewriting logic
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
SOS formats and meta-theory: 20 years after
Theoretical Computer Science
A Hierarchy of SOS Rule Formats
Electronic Notes in Theoretical Computer Science (ENTCS)
Prototyping SOS Meta-theory in Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Mobile processes and termination
Semantics and algebraic specification
Integrated operational semantics: small-step, big-step and multi-step
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
| Hi-index | 0.00 |
Structural Operational Semantics (SOS) allows transitions to be labelled. This is fully exploited in SOS descriptions of concurrent systems, but usually not at all in conventional descriptions of sequential programming languages. This paper shows how the use of labels can provide significantly simpler and more modular descriptions of programming languages. However, the full power of labels is obtained only when the set of labels is made into a category, as in the recently-proposed MSOS variant of SOS.