Proof Abstraction for Imperative Languages (2003)

by William L. Harrison
Citations:2 - 1 self

Documents Related by Co-Citation

163 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
30 Challenges for information-flow security – Steve Zdancewic - 2004
27 A monadic analysis of information flow security with mutable state – Karl Crary, Aleksey Kliger, Frank Pfenning - 2003
721 Security policies and security models – J A Goguen, J Meseguer - 1982
5978 A mathematical theory of communication – C E Shannon - 1948
711 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
730 Notions of Computation and Monads – Eugenio Moggi - 1991
474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
228 A Core Calculus of Dependency – Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
204 Information flow: the logic of distributed systems – Jon Barwise, Jerry Seligman - 1997
12 A Monad for Basic Java Semantics – Bart Jacobs , Erik Poll - 2000