Proof Abstraction for Imperative Languages (2003)

by William L. Harrison
Citations:2 - 1 self

Documents Related by Co-Citation

165 An Abstract View of Programming Languages – E Moggi - 1989
28 Modular Monadic Semantics and Compilation – Sheng Liang - 1998
3 A Qualitative Framework for Shannon Information Theories – G Allwein - 2005
1 My recollections of operating system design – E W Dijkstra - 2005
1 Monad-independent Hoare Logic in HasCasl, volume Fundamental Approaches to – L Schäder, T Mossakowski - 2003
7 The Essence of Multitasking – William L. Harrison - 2006
24 Proof of separability: A verification technique for a class of security kernels – John M Rushby - 1982
6 Achieving information flow security through monadic control of effects – William L. Harrison, James Hook - 2009
88 Categorical Logic – Andrew M. Pitts - 1995
27 A monadic analysis of information flow security with mutable state – Karl Crary, Aleksey Kliger, Frank Pfenning - 2003
29 Challenges for information-flow security – Steve Zdancewic - 2004
723 Security policies and security models – J A Goguen, J Meseguer - 1982
6051 A mathematical theory of communication – C E Shannon - 1948
705 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
733 Notions of Computation and Monads – Eugenio Moggi - 1991
476 Institutions: Abstract model theory for specication and programming – Joseph Goguen, Rod Burstall - 1992
221 A Core Calculus of Dependency – Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
206 Information flow: the logic of distributed systems – J Barwise, J Seligman - 1997
23 Reasoning about Java Classes (Preliminary Report – B Jacobs, J van den Berg, M Huisman, M van Berkum - 1998