Documents Related by Co-Citation

331 Concepts in Programming Languages – J C Mitchell - 2003
370 Types, abstraction and parametric polymorphism – John C Reynolds - 1983
15 Lax Logical Relations – Gordon Plotkin, John Power, Donald Sannella, Robert Tennent - 2000
734 Notions of Computation and Monads – Eugenio Moggi - 1991
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
587 Symbolic Model Checking: 10^20 States and Beyond – J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang - 1992
807 Design and synthesis of synchronization skeletons using branching-time temporal logic – E M Clarke, E A Emerson - 1982
1390 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
542 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992