Domains and Denotational Semantics: History, Accomplishments and Open Problems (1996)

by Marcelo Fiore , Achim Jung , Eugenio Moggi , Peter O'Hearn , Jon Riecke , Giuseppe Rosolini , Ian Stark
Citations:30 - 8 self

Active Bibliography

481 Domain Theory – Samson Abramsky, Achim Jung - 1994
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
766 Notions of Computation and Monads – Eugenio Moggi - 1991
561 Composing Specifications – Martín Abadi, Leslie Lamport - 1993
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1165 Proof-Carrying Code – George C. Necula - 1997
985 A theory of type polymorphism in programming – Robin Milner - 1978
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
562 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002