Orthogonal Extensions in Structural Operational Semantics (original) (raw)
Related papers
Conservative extension in structural operational semantics
Current Trends in Theoretical Computer Science - Entering the 21st Century, 2001
Towards Effects in Mathematical Operational Semantics
Electronic Notes in Theoretical Computer Science, 2011
Towards a mathematical operational semantics
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science
Implicit propagation in structural operational semantics
Electronic Notes in Theoretical Computer Science, 2009
Structural Operational Semantics with transitivity rules and execution time
Clei Electronic Journal, 2009
Functional operational semantics and its denotational dual
1995
A structural approach to operational semantics
The Journal of Logic and Algebraic Programming, 2004
Modular structural operational semantics
Journal of Logic and Algebraic Programming, 2004
Big-step Operational Semantics Revisited
Fundamenta Informaticae, 2010
Comodels and Effects in Mathematical Operational Semantics
Lecture Notes in Computer Science, 2013
Structured Operational Semantics of a fragment of the language Scheme
Journal of Functional Programming, 1998
Structuring Operational Semantics: Simplification and Computation
Electronic Notes in Theoretical Computer Science, 2007
Dynamic Structural Operational Semantics (preliminary version)
2012
Dynamic structural operational semantics
Journal of Logical and Algebraic Methods in Programming, 2019
Operational Semantics for Functional Logic Languages
Electronic Notes in Theoretical Computer Science, 2002
Coinductive big-step operational semantics
Robustness of Equations Under Operational Extensions
Higher-order semantics and extensionality
Journal of Symbolic Logic, 2004
Extensions in Compositional Semantics
Lecture Notes in Computer Science
Logical Formalizations of Syntactical Properties (Extended Abstract)
1997
Exploiting Labels In Structural Operational Semantics
Fundamenta Informaticae, 2004
Functorial operational semantics and its denotational dual
A syntactic commutativity format for SOS
Information Processing Letters, 2005
Electronic Notes in Theoretical Computer Science, 2002
Modular Structural Operational Semantics with Strategies
Electronic Notes in Theoretical Computer Science, 2007
Operational semantics for declarative multi-paradigm languages
Journal of Symbolic Computation, 2005
Logical Formalizations of Syntactical Properties
Exploiting algebraic laws to improve mechanized axiomatizations
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013
Notre Dame Journal of Formal Logic
Structural Operational Semantics for Kernel Andorra Prolog
Lecture Notes in Computer Science, 1991
Six theories of operation refinement for partial relation semantics
University of Essex, technical report …, 2002