From Operational to Denotational Semantics (1989)

Cached

Download Links

by Scott Smith
Venue:In MFPS 1991
Citations:18 - 6 self

Active Bibliography

4 The Coverage of Operational Semantics – Scott F. Smith - 1998
5 Hybrid Partial-Total Type Theory – Scott Smith - 1995
7 Partial computations in constructive type theory – Scott F. Smith - 1991
13 Reasoning about Functions with Effects – Carolyn Talcott - 1997
4 A First Order Logic of Effects – Ian A. Mason - 1996
48 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
39 Observable Sequentiality and Full Abstraction – Robert Cartwright, Matthias Felleisen - 1992
Sequential Languages – Robert Cartwright, Pierre-louis Curien, Matthias Felleisen
6 Names, Equations, Relations: Practical Ways to Reason about new – Ian Stark - 1996
SPCF: Its Model, Calculus, and Computational Power (Preliminary Version) – Ramarao Kanneganti, Robert Cartwright, Robert Cartwright, Matthias Felleisen, Matthias Felleisen - 1992
20 Total Correctness by Local Improvement in Program Transformation – David Sands - 1995
8 Higher-Order Expression Procedures – David Sands - 1995
31 Proving the Correctness of Recursion-Based Automatic Program Transformations – David Sands - 1996
10 Improvement Theory and its Applications – David Sands - 1997
1 An Equational Theory for a Region Calculus – Simon Helsen - 2002
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
17 From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages – David Sands - 1997
Adding Input-Output to PCF – Jerzy Tiuryn, Mitchell Wand - 1995
External Examiner – Weng Kin Ho, Dr. Martín Escardó - 2006