Towards a mathematical operational semantics (original) (raw)
Related papers
Towards Effects in Mathematical Operational Semantics
Electronic Notes in Theoretical Computer Science, 2011
Functional operational semantics and its denotational dual
1995
Comodels and Effects in Mathematical Operational Semantics
Lecture Notes in Computer Science, 2013
Structuring Operational Semantics: Simplification and Computation
Electronic Notes in Theoretical Computer Science, 2007
A structural approach to operational semantics
The Journal of Logic and Algebraic Programming, 2004
Functorial operational semantics and its denotational dual
Mathematical Foundations of Programming Semantics
Lecture Notes in Computer Science, 1994
Structured Operational Semantics of a fragment of the language Scheme
Journal of Functional Programming, 1998
Operational Semantics: Concepts and Their Expression
… SERIES-UNIVERSITY OF NEWCASTLE UPON TYNE …, 2003
Mathematical Foundations of Programming Semantics, 1994
Big-step Operational Semantics Revisited
Fundamenta Informaticae, 2010
Conservative extension in structural operational semantics
Current Trends in Theoretical Computer Science - Entering the 21st Century, 2001
Mathematical Foundations of Programming Semantics, 1992
Dynamic Structural Operational Semantics (preliminary version)
2012
Implicit propagation in structural operational semantics
Electronic Notes in Theoretical Computer Science, 2009
An algebraic approach to semantics of programming languages
Theoretical Computer Science, 1994
Orthogonal Extensions in Structural Operational Semantics
2005
Semantics of Programming Languages
2016
Mathematical concepts in programming language semantics
Proceedings of the November 16-18, 1971, fall joint computer conference on - AFIPS '71 (Fall), 1971
New Approach to Categorical Semantics for Procedural Languages
Computing and Informatics, 2017
Operational Semantics for Functional Logic Languages
Electronic Notes in Theoretical Computer Science, 2002
Demonic Operational and Denotational Semantics
Applied Mathematical Sciences, 2008
Understanding programming language concepts via operational semantics
2007
Exploiting Labels In Structural Operational Semantics
Fundamenta Informaticae, 2004
Coinductive big-step operational semantics
Toy(FD): Sketch of Operational Semantics
Lecture Notes in Computer Science, 2003
Presenting Functors by Operations and Equations
Luca Aceto, Marcello Bonsangue
Lecture Notes in Computer Science, 2006
A fully abstract semantics for a functional language with logic variables
1989
Dynamic structural operational semantics
Journal of Logical and Algebraic Methods in Programming, 2019
Categorical Syntax and Consequence Relations
2021
Syntax and Consequence Relations -- A Categorical Perspective
2021
The formal semantics of programming languages: an introduction
Choice Reviews Online
Abstracting an Operational Semantics to Finite Automata
Communications in Computer and Information Science, 2016