Bialgebraic methods in structural operational semantics (2007)

Cached

Download Links

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

Documents Related by Co-Citation

134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
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
24 Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form – Patrick Cousot, Radhia Cousot - 1995
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
127 Operational and algebraic semantics of concurrent processes – R Milner - 1990
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
64 The origins of structural operational semantics – Gordon D. Plotkin - 2004
628 Systematic design of program analysis frameworks – Patrick Cousot, Radhia Cousot - 1979
1364 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
98 Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation – Patrick Cousot - 2002
54 TYPOL: a formalism to implement natural semantics – Despeyroux - 1988
38 Types as abstract interpretations, invited paper – Patrick Cousot, École Normale Supérieure - 1997
240 Abstract interpretation frameworks – Patrick Cousot, Radhia Cousot - 1992
300 Natural semantics – G. Kahn - 1987
179 An Introduction to Inductive Definitions – P Aczel - 1977