An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement (1997)

Cached

Download Links

by Yoshiki Kinoshita , Peter W. O'hearn , A. John Power , Makoto Takeyama , Robert D. Tennent
Venue:Proc. TACS'97, Springer LNCS 1281
Citations:18 - 1 self

Documents Related by Co-Citation

26 Pre-logical Relations – Furio Honsell, Donald Sannella - 1999
327 Foundations for Programming Languages – John C Mitchell - 1996
362 Types, Abstraction and Parametric Polymorphism – J C Reynolds - 1983
15 Lax Logical Relations – Gordon Plotkin, John Power, Donald Sannella, Robert Tennent - 2000
40 Foundations for Programming Languages. Foundations of Computing series – J C Mitchell - 1996
143 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
42 Data Abstraction and the Correctness of Modular Programming – O Schoett - 1987
13 Correctness of data representations in Algol-like languages. In: A Classical Mind: Essays – R Tennent - 1994
12 Constructive Data Refinement in Typed Lambda Calculus – Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki - 2000
66 On Observational Equivalence and Algebraic Specification – Donald Sannella, Andrzej Tarlecki - 1987
196 An algebraic definition of simulation between programs – R Milner
413 Proof of correctness of data representations – C A R Hoare - 1972
122 Formal Parametric Polymorphism – Martin Abadi , Luca Cardelli, Pierre-Louis Curien - 1993
291 Abstract types have existential type – J C Mitchell, G D Plotkin - 1988
58 Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads, Journal of pure and applied algebra 89 – M Kelly, J Power - 1993
73 Two dimensional monad theory – H Blackwell, M Kelly, A J Power - 1989
34 An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC – Marcelo P. Fiore, Gordon D. Plotkin - 1994
53 Types, Abstraction, and Parametric Polymorphism, Part 2 – QingMing Ma, John C. Reynolds - 1991
26 A New Characterization of Lambda Definability – Achim Jung, Jerzy Tiuryn - 1993