Relating Operational and Denotational Semantics for Input/Output Effects (1999)

Cached

Download Links

by Roy L. Crole , Andrew D. Gordon
Citations:7 - 3 self

Documents Related by Co-Citation

127 Bisimilarity as a theory of functional programming – A D Gordon - 1995
828 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
773 Structure and Interpretation of Computer Programs – H Abelson, G J Sussman, J Sussman - 1985
1353 Monads for functional programming – Philip Wadler - 1995
732 Interprocedural Slicing Using Dependence Graphs – Susan Horwitz, Thomas Reps, David Binkley - 1990
1037 Advanced Compiler Design and Implementation – S S Muchnick - 1997
929 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
585 A Lattice Model of Secure Information Flow – Dorothy E. Denning - 1976
590 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999