Proof Theoretic Approach To Specification Languages (1995)

by Jawahar Lal Chirimar
Citations:42 - 0 self

Active Bibliography

32 A Syntactic Theory of Dynamic Binding – Luc Moreau - 1997
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
2 Should a function continue? – Jon Gary Riecke - 1989
Acknowledgments – unknown authors
48 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
17 An Operational Foundation for Delimited Continuations – Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy - 2003
4 Logical Specification of Operational Semantics – Peter D. Mosses - 1999
4 A Survey of Linear Logic Programming – Dale Miller - 1995
20 Translating Core Facile – Roberto M. Amadio - 1995
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
39 An observationally complete program logic for imperative higher-order functions – Kohei Honda, Nobuko Yoshida, Martin Berger - 2005
The call-by-value lambda-calculus, the SECD machine, and the pi-calculus – Vasco T. Vasconcelos - 2000
7 An Overview of Linear Logic Programming – Dale Miller - 1985
Reasoning with Continuations III: A Complete Calculus of Control – Amr Sabry, Matthias Felleisen - 1992
Subcontinuations – Robert Hieb, R. Kent Dybvig, Claude W. Anderson - 1993
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
69 Explicit Polymorphism and CPS Conversion – Robert Harper , Mark Lillibridge - 1992
Duration: Twelve lecturesSpecification and Verification I – Mike Gordon, Mike Gordon
2 Specification and Verification – Mike Gordon - 1988