Hoare's Logic in the LF (1987)

Cached

Download Links

by Ian Mason
Citations:19 - 4 self

Documents Related by Co-Citation

696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
83 Using Typed Lambda Calculus to Implement Formal Systems on a Machine – Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack - 1992
1364 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
854 A formulation of the simple theory of types – Alonzo Church - 1940
48 Idealized Algol and its specification logic – J C Reynolds - 1982
315 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
126 On the meanings of the logical constants and the justifications of the logical laws – Per Martin-Löf - 1996
825 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
302 Higher-order abstract syntax – F Pfenning, C Elliott - 1988
131 On the syntactic control of interference – J Reynolds - 1978
220 Call-by-name, call-by-value and the -calculus – G D Plotkin - 1975
66 Ten Years of Hoare's Logic: A Survey -- Part l – KRZYSZTOF R. APT - 1981
229 Structured Programming – O J Dahl, E W Dijkstra, C A R Hoare
59 Mechanizing Programming Logics in Higher Order Logic – Michael J. C. Gordon - 1989
51 Winskel is (almost) Right - Towards a Mechanized Semantics Textbook – Tobias Nipkow - 1998
571 Assigning meanings to programs – R W Floyd - 1967
99 Martin-Löf’s Type Theory – B. Nordström, K. Petersson, J. M. Smith - 2000
83 Control operators, the SECD machine and the -calculus – M Felleisen, D P Friedman - 1986