Constructive Data Refinement in Typed Lambda Calculus (2000)

by Furio Honsell , John Longley , Donald Sannella , Andrzej Tarlecki
Citations:12 - 7 self

Documents Related by Co-Citation

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
55 Essential Concepts of Algebraic Specification and Program Development – Donald Sannella, Andrzej Tarlecki - 1996
327 Foundations of Programming Languages – J C Mitchell - 1996
26 Pre-logical Relations – Furio Honsell, Donald Sannella - 1999
18 An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement – Yoshiki Kinoshita, Peter W. O'hearn, A. John Power, Makoto Takeyama, Robert D. Tennent - 1997
48 Algebraic Theory of Automata – A Ginzburg - 1969
66 On Observational Equivalence and Algebraic Specification – Donald Sannella, Andrzej Tarlecki - 1987
197 An algebraic definition of simulation between programs – Robin Milner - 1971
32 Behavioural correctness of data representations – O Schoett - 1985
418 Proof of correctness of data representations – C A R Hoare - 1972
12 Checking amalgamability conditions for Casl architectural specifications – Bartek Klin Piotr Hoffman - 2001
13 Behavioural and abstractor specifications. Science of Computer Programming 25:149–186 – M Bidoit, R Hennicker, M Wirsing - 1995
36 Fundamentals of algebraic specification: Equational and initial semantics – H Ehrig, B Mahr - 1985
119 Parameterized Programming – J A Goguen - 1984
4 Verifying architectural specifications. Recent Trends – P Hoffman - 2001
10 A.: Architectural specifications in Casl. Formal Aspects of Computing 13 – M Bidoit, D Sannella, Tarlecki - 2002
54 CASL: The Common Algebraic Specification Language – Egidio Astesiano, Michel Bidoit, Helene Kirchner, Bernd Krieg-Bruckner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki - 2001
15 Lax Logical Relations – Gordon Plotkin, John Power, Donald Sannella, Robert Tennent - 2000