A Theory of Program Refinement (1998)

Cached

Download Links

by Ewen W. K. C. Denney
Citations:6 - 1 self

Active Bibliography

815 The Temporal Logic of Actions – Leslie Lamport - 1993
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
767 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
826 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
1390 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
1111 Proof-Carrying Code – George C. Necula - 1997
1136 Intelligent agents: Theory and practice – Michael Wooldridge, Nicholas R. Jennings - 1995
635 A classification and comparison framework for software architecture description languages – Nenad Medvidovic, Richard N. Taylor - 2000