|
1182
|
A Structural Approach to Operational Semantics
– G. D. Plotkin
- 1981
|
|
122
|
Towards a Mathematical Operational Semantics
– Daniele Turi, Gordon Plotkin
- 1997
|
|
545
|
Systematic design of program analysis frameworks
– Patrick Cousot, Radhia Cousot
- 1979
|
|
87
|
Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation
– Patrick Cousot
- 2002
|
|
118
|
Operational and algebraic semantics of concurrent processes
– R Milner
- 1990
|
|
205
|
Abstract interpretation frameworks
– Patrick Cousot, Radhia Cousot
- 1992
|
|
213
|
A Tutorial on (Co)Algebras and (Co)Induction
– Bart Jacobs, Jan Rutten
- 1997
|
|
30
|
Coinductive big-step operational semantics
– Xavier Leroy
- 2006
|
|
57
|
The origins of structural operational semantics
– Gordon D. Plotkin
- 2004
|
|
72
|
The theory and practice of transforming call-by-need into call-by-value
– A Mycroft
- 1980
|
|
23
|
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
|
|
35
|
Types as abstract interpretations, invited paper
– Patrick Cousot, École Normale Supérieure
- 1997
|
|
92
|
Inductive definitions, semantics and abstract interpretation
– P Cousot, R Cousot
- 1992
|
|
52
|
TYPOL: a formalism to implement natural semantics
– Despeyroux
- 1988
|
|
7
|
Incremental Evaluation of Natural Semantics Specifications
– Isabelle Attali, Jacques Chazarain, Serge Gilette
- 1992
|
|
1221
|
An axiomatic basis for computer programming
– C. A. R. Hoare
- 1969
|
|
280
|
Natural semantics
– G. Kahn
- 1987
|
|
158
|
An introduction to inductive definitions
– P Aczel
- 1977
|
