Logics of Programs

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Nonclausal temporal deduction
3. Altmetric Badge
   Chapter 2 Unsolvable terms in typed lambda calculus with fix-point operators: Extended abstract
4. Altmetric Badge
   Chapter 3 Lambda calculus with constrained types
5. Altmetric Badge
   Chapter 4 An axiomatic treatment of a parallel programming language
6. Altmetric Badge
   Chapter 5 Recursive definitions in type theory
7. Altmetric Badge
   Chapter 6 Errata
8. Altmetric Badge
   Chapter 7 Automata, tableaux, and temporal logics
9. Altmetric Badge
   Chapter 8 Proving termination of Prolog programs
10. Altmetric Badge
    Chapter 9 A Hoare Calculus for functions defined by recursion on higher types
11. Altmetric Badge
    Chapter 10 On the relative incompleteness of logics for total correctness
12. Altmetric Badge
    Chapter 11 From synchronization tree logic to acceptance model logic
13. Altmetric Badge
    Chapter 12 A FASE specification of FP
14. Altmetric Badge
    Chapter 13 On asymptotic probabilities of inductive queries and their decision problem
15. Altmetric Badge
    Chapter 14 Compositional semantics for real-time distributed computing
16. Altmetric Badge
    Chapter 15 Partial-correctness theories as first-order theories
17. Altmetric Badge
    Chapter 16 The glory of the past
18. Altmetric Badge
    Chapter 17 Continuation semantics in typed lambda-calculi
19. Altmetric Badge
    Chapter 18 Second-order logical relations
20. Altmetric Badge
    Chapter 19 Behavior: a temporal appreach to process modeling
21. Altmetric Badge
    Chapter 20 Equational logic as a programming language: Abstract
22. Altmetric Badge
    Chapter 21 Distributed processes and the logic of knowledge
23. Altmetric Badge
    Chapter 22 Some constructions for order-theoretic models of concurrency
24. Altmetric Badge
    Chapter 23 Proving fairness of schedulers
25. Altmetric Badge
    Chapter 24 The reasoning powers of Burstall's (modal logic) and Pnueli's (temporal logic) program verification methods
26. Altmetric Badge
    Chapter 25 A partial correctness logic for procedures
27. Altmetric Badge
    Chapter 26 A proof system for Distributed Processes
28. Altmetric Badge
    Chapter 27 Fixpoints and program looping: Reductions from the Propositional mu-calculus into Propositional Dynamic Logics of Looping
29. Altmetric Badge
    Chapter 28 Semantical analysis of specification logic
30. Altmetric Badge
    Chapter 29 A simple programming language with data types: semantics and verification
31. Altmetric Badge
    Chapter 30 Computer aided reasoning
32. Altmetric Badge
    Chapter 31 The taming of converse: Reasoning about two-way computations