From operational semantics to abstract machines (1992)

by John Hannan , Dale Miller
Venue:Mathematical Structures in Computer Science
Citations:59 - 6 self

Active Bibliography

15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
7 A two-level logic approach to reasoning about computations – Andrew Gacek , Dale Miller, Gopalan Nadathur
4 The Expressive Power of Structural Operational Semantics with Explicit Assumptions – Marino Miculan
1 A Parallel Categorical Abstract Machine for Bulk Synchronous Parallel ML – Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski
44 Natural Semantics and Some of its Meta-Theory in Elf – Spiro Michaylov, Frank Pfenning - 1991
3 Object-Level Substitution, Unification And Generalization In Meta-Logic – Chuck C. Liang - 1995
30 Computation and Deduction – Frank Pfenning - 2001
1 Trustworthy Translation for the Requirements State Machine Language without Events – Michael William Whalen - 2005
36 A Proof of the Church-Rosser Theorem and its Representation in a Logical Framework – Frank Pfenning - 1992
32 Implementing the Meta-Theory of Deductive Systems – Frank Pfenning, Ekkehard Rohwedder - 1992
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
4 A study of syntactic and semantic artifacts and its application to lambda definability, strong normalization, and weak normalization in the presence of state – Johan Munk - 2008
291 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
The Australian National University – Alwen Tiu, Dale Miller
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
156 Dynamic typing in a statically typed language – M. Abadi, L. Cardelli, B. Pierce, G. Plotkin, Matthias Berg, Advisor Andreas Rossberg - 1991
Décrire Et Comparer Les Implantations De Langages Fonctionnels – Rémi Douence, Pascal Fradet - 1996
10 A Taxonomy of Functional Language Implementations Part II: Call-by-Name, Call-by-Need and Graph Reduction – Rémi Douence , Pascal Fradet - 1996
20 Functional Back-Ends within the Lambda-Sigma Calculus – Thérèse Hardin, Luc Maranget, Bruno Pagano - 1996