Proof Abstraction for Imperative Languages (2003)

by William L. Harrison
Citations:2 - 1 self

Documents Related by Co-Citation

177 An abstract view of programming languages – E Moggi - 1989
569 Institutions: Abstract model theory for specification and programming – J Goguen, Burstall RM - 1992
900 Security policies and security models – J A Goguen, J Meseguer - 1982
813 Notions of Computation and Monads – Eugenio Moggi - 1991
888 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
1637 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
8602 A Mathematical Theory of Communication – C E Shannon
267 Information Flow: The Logic of Distributed Systems – J Barwise, J Seligman - 1997
250 A Core Calculus of Dependency – Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999