Inter-deriving semantic artifacts for object-oriented programming

A Structural Approach to Operational Semantics

Gordon Plotkin · 2004 · 2K citations

The Mechanical Evaluation of Expressions

P. J. Landin · The Computer Journal · 1964 · 924 citations · Full text

Mechanical Evaluation, Engineering, Software Systems +28

A structural approach to operational semantics

The Journal of Logic and Algebraic Programming · 2004 · 688 citations

Formal Semantics, Engineering, Operational Semantics +6

Natural Semantics

Gilles Kahn · Symposium on Theoretical Aspects of Computer Science · 1987 · 521 citations

Explicit substitutions

M. Abadi, Luca Cardelli, Pierre-Louis Curien et al. · Journal of Functional Programming · 1991 · 364 citations · Full text

Engineering, Automated Reasoning, Concrete Implementations +9