A structural approach to operational semantics (original) (raw)
Related papers
Algebraic Methodology and Software Technology, 2002
Implicit propagation in structural operational semantics
Electronic Notes in Theoretical Computer Science, 2009
Structuring Operational Semantics: Simplification and Computation
Electronic Notes in Theoretical Computer Science, 2007
Modular structural operational semantics
Journal of Logic and Algebraic Programming, 2004
Modular Structural Operational Semantics with Strategies
Electronic Notes in Theoretical Computer Science, 2007
Towards a mathematical operational semantics
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science
Structured Operational Semantics of a fragment of the language Scheme
Journal of Functional Programming, 1998
A formal operational semantics for SOFL
Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference
Operational Semantics: Concepts and Their Expression
… SERIES-UNIVERSITY OF NEWCASTLE UPON TYNE …, 2003
Human Comprehensible and Machine Processable Specifications of Operational Semantics
Dynamic Structural Operational Semantics (preliminary version)
2012
Mathematical Foundations of Programming Semantics
Lecture Notes in Computer Science, 1994
Towards Effects in Mathematical Operational Semantics
Electronic Notes in Theoretical Computer Science, 2011
Nominal formalisations of typical SOS proofs
2008
Big-step Operational Semantics Revisited
Fundamenta Informaticae, 2010
Dynamic structural operational semantics
Journal of Logical and Algebraic Methods in Programming, 2019
Hybrid: A definitional two-level approach to reasoning with higher-order abstract syntax
Arxiv preprint arXiv:0811.4367, 2008
Mathematical Foundations of Programming Semantics, 1992
An algebraic approach to semantics of programming languages
Theoretical Computer Science, 1994
Structural Operational Semantics with transitivity rules and execution time
Clei Electronic Journal, 2009
Mathematical Foundations of Programming Semantics, 1994
Exploiting Labels In Structural Operational Semantics
Fundamenta Informaticae, 2004
A syntactic commutativity format for SOS
Information Processing Letters, 2005
Formal semantics and the logical structure of programming languages
Model theoretic semantics for many-purpose languages and language hierarchies
Proceedings of the 8th conference on Computational linguistics -, 1980
Abstracting an Operational Semantics to Finite Automata
Communications in Computer and Information Science, 2016
Reasoning in Abella about Structural Operational Semantics Specifications
Electronic Notes in Theoretical Computer Science, 2009
SOS Specifications for Compositional ST-Semantics
1997
Functional operational semantics and its denotational dual
1995
SOS formats and meta-theory: 20 years after
Theoretical Computer Science, 2007