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
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
Handbook of Process Algebra
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
STACS '87 Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science
Mapping modular SOS to rewriting logic
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
Editorial message: special track on the programming languages
Proceedings of the 2004 ACM symposium on Applied computing
Transforming SOS specifications to linear processes
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
Teaching semantics of programming languages with modular SOS
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
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.