Bialgebraic methods in structural operational semantics (2007)

Cached

Download Links

by Bartek Klin
Venue:ENTCS
Citations:5 - 1 self

Documents Related by Co-Citation

1286 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
24 Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form – Patrick Cousot, Radhia Cousot - 1995
123 Operational and algebraic semantics of concurrent processes – R Milner - 1990
238 Abstract interpretation frameworks – Patrick Cousot, Radhia Cousot - 1992
36 Coinductive big-step operational semantics – Xavier Leroy - 2006
75 The theory and practice of transforming call-by-need into call-by-value – A Mycroft - 1980
10 Adding recursive constructs to bialgebraic semantics – B Klin - 2004
94 Inductive definitions, semantics and abstract interpretation – P Cousot, R Cousot - 1992
9 Incremental Evaluation of Natural Semantics Specifications – Isabelle Attali, Jacques Chazarain, Serge Gilette - 1992
64 The origins of structural operational semantics – Gordon D. Plotkin - 2004
38 Types as abstract interpretations, invited paper – Patrick Cousot, École Normale Supérieure - 1997
98 Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation – Patrick Cousot - 2002
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
631 Systematic design of program analysis frameworks – Patrick Cousot, Radhia Cousot - 1979
1361 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
54 TYPOL: A Formalism to Implement Natural Semantics – Thierry Despeyroux - 1988
8 An introduction to metric semantics: operational and denotational models for programming and specification languages – F van Breugel
177 An introduction to inductive definitions – P Aczel - 1977