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
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
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
Mapping modular SOS to rewriting logic
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
An implementation of object-oriented action semantics in Maude
Semantics and algebraic specification
Structural operational semantics for weighted transition systems
Semantics and algebraic specification
Structural operational semantics of p systems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
Component-based description of programming languages
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Towards modular compilers for effects
TFP'11 Proceedings of the 12th international conference on Trends in Functional Programming
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.