Proof Abstraction for Imperative Languages (2003)

by William L. Harrison
Citations:2 - 1 self

Documents Related by Co-Citation

166 An abstract view of programming languages – E Moggi - 1989
736 Security policies and security models – J Goguen, J Meseguer
6294 A mathematical theory of communication – C E Shannon - 1948
717 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
734 Notions of Computation and Monads – Eugenio Moggi - 1991
1390 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
479 Institutions: Abstract model theory for specification and programming – Joseph A Goguen, Rod M Burstall - 1992
222 A Core Calculus of Dependency – Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
218 Introduction to Functional Programming using Haskell – R S Bird - 1998