Semantic Domains (1990)

Cached

Download Links

by C. A. Gunter , D. S. Scott
Citations:148 - 3 self

Documents Related by Co-Citation

1889 R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximation of fixed points – P Cousot, Cousot - 1977
53 Abstract interpretation, logical relations and Kan extensions – S Abramsky - 1990
147 Modular Denotational Semantics – P Mosses - 1979
268 Semantics of Programming Languages: Structures and Techniques – C A Gunter - 1992
62 A Per Model of Polymorphism and Recursive Types – M. Abadi, G. D. Plotkin - 1990
189 Toposes, Triples and Theories – Michael Barr, Charles Wells - 2005
3218 Communication and Concurrency – R Milner - 1989
733 Notions of Computation and Monads – Eugenio Moggi - 1991
398 LCF considered as a programming language – G Plotkin - 1977
62 Remarks on algebraically compact categories – P Freyd - 1991
120 A domain equation for bisimulation – S Abramsky - 1991
144 The System F of Variable Types, fifteen years later – J Y Girard - 1986
64 Using Powerdomains to Generalize Relational Databases – Peter Buneman, Achim Jung, Atsushi Ohori - 1991
636 Systematic design of program analysis frameworks – Patrick Cousot, Radhia Cousot - 1979
229 Domain Theory in Logical Form – Samson Abramsky - 1991
457 Domain Theory – Samson Abramsky, Achim Jung - 1994
655 Concurrency and automata on infinite sequences – D Park - 1981
996 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
454 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998