4th Annual Symposium on Theoretical Aspects of Computer Sciences on STACS 87
The semantics of programming languages: an elementary introduction using structural operational semantics
CML: A higher concurrent language
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
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
Higher-order concurrency
Ntyft/ntyxt rules reduce to ntree rules
Information and Computation
Enhanced operational semantics
ACM Computing Surveys (CSUR)
A conservative look at operational semantics with variable binding
Information and Computation
Proof, language, and interaction
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
Theory and Practice of Action Semantics
MFCS '96 Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science
Extensible Denotational Language Specifications
TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Towards a Mathematical Operational Semantics
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in 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
The Varieties of Programming Language Semantics
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
The Varieties of Programming Language Semantics
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Logical Specification of Operational Semantics
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Exploiting labels in Structural Operational Semantics
Proceedings of the 2004 ACM symposium on Applied computing
Computational Logical Frameworks and Generic Program Analysis Technologies
Verified Software: Theories, Tools, Experiments
Exploiting Labels in Structural Operational Semantics
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
| Hi-index | 0.00 |
A novel form of labelled transition system is proposed, where the labels are the arrows of a category, and adjacent labels in computations axe required to be composable. Such transition systems provide the foundations for modular SOS descriptions of programming languages. Three fundamental ways of transforming label categories, analogous to monad transformers, are provided, and it is shown that their applications preserve computations in modular SOS. The approach is illustrated with fragments taken from a modular SOS for ML concurrency primitives.