The origins of structural operational semantics (2004)

Cached

Download Links

by Gordon D. Plotkin
Venue:Journal of Logic and Algebraic Programming
Citations:64 - 0 self

Active Bibliography

Theses Series DISI-TH-2003-XX – Luca Paolini, Université De La Méditerranée, Luca Paolini, G. Rosolini, Ext Reviewers, A. Bucciarelli, S. Ronchi, Della Rocca
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
110 The Discoveries of Continuations – John C. Reynolds - 1993
9 On the Search for Tractable Ways of Reasoning about Programs – C. B. Jones - 2001
15 The Early Search for Tractable Ways of Reasoning About Programs – C. B. Jones - 2003
29 Games and full abstraction for nondeterministic languages – Russell S. Harmer - 1999
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
3 A Rational Deconstruction of Landin’s J Operator – Olivier Danvy, Kevin Millikin - 2006
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
1 A Generic Object-Calculus Based on Addressed Term Rewriting Systems – Dan Dougherty, Frédéric Lang, Pierre Lescanne, Luigi Liquori, Kristoffer Rose - 2001
Referees – Prof Chiara Bodei, Prof Gian, Luigi Ferrari, Prof António Ravara, Prof Emilio Tousto
32 Compilation and Equivalence of Imperative Objects – Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen - 1998
Type Theory for Programming Languages – Robert Harper - 1994
2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
23 Java Jr.: A fully abstract trace semantics for a core Java language – Alan Jeffrey, Julian Rathke - 2005
1 Theory for Software Verification – David A. Naumann - 2009
Indeterminate Applicative Systems – The Positiveintegers The