Proof Abstraction for Imperative Languages (2003)

by William L. Harrison
Citations:2 - 1 self

Documents Related by Co-Citation

174 An abstract view of programming languages – E Moggi - 1989
766 Notions of Computation and Monads – Eugenio Moggi - 1991
761 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
515 Institutions: Abstract model theory for specification and programming – J Goguen, R Burstall - 1992
7146 A mathematical theory of communication – C E Shannon - 1948
774 Security policies and security models – J Goguen, J Meseguer - 1982
1484 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
239 Information Flow. The Logic of Distributed Systems – Jon Barwise, Jerry Seligman - 1997
228 Introduction to Functional Programming using Haskell – Richard Bird - 1998