Constructive Data Refinement in Typed Lambda Calculus (2000)

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

Active Bibliography

2 A higher-order simulation relation for System F – Jo Erskine Hannay - 2000
1 Specification Refinement with System F, The Higher-Order Case – Jo Erskine Hannay - 2000
8 Global Development via Local Observational Construction Steps – Michel Bidoit, Donald Sannella, Andrzej Tarlecki - 2002
5 Toward Component-Oriented Formal Software Development: An Algebraic Approach (Extended Abstract) – Michel Bidoit, Donald Sannella, Andrzej Tarlecki
26 Pre-logical Relations – Furio Honsell, Donald Sannella - 1999
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
938 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
522 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
543 Composing Specifications – Martín Abadi, Leslie Lamport - 1993