Proof of Correctness of Object Representations


Download Links

by Grant Malcolm , Joseph A. Goguen
Citations:28 - 14 self

Active Bibliography

28 Proving Correctness Of Refinement And Implementation – Grant Malcolm, Joseph A. Goguen - 1996
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
11 A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms – Joseph Goguen, Grant Malcolm, Tom Kemp - 1998
A Hidden Herbrand Theorem: Combining the Ob ject and Logic Paradigms – Tom Kemp
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
434 A Behavioral Notion of Subtyping – Barbara H. Liskov, Jeanette M. Wing - 1994