0.
which presents a logic for functions with local state, on the basis of 2 and 3.
(August, 2006: updated on September 1st, 2006, 63 pages)
1.
which prove completeness properties of logics for higher-order functions.
(February, 2006, 27 pages: presented at ICALP'06, Venice, July 2006) pdf
2. A Logical Analysis of Aliasing in Imperative Higher-Order Functions,
which shows a logical articulation of the general forms of aliasing for imperative
higher-order functions, on the basis of 3. Section 10 includes extensive historical account
of logics for aliasing during the last five decades. (March 20, 2005, 108 pages) pdf 3. An Observationally Complete Program Logic for Imperative Higher-Order Functions
which gives the full account of a basic logic for sequential higher-order functions with
global state with a precise tie with observational semantics. Section 8 includes extensive
historical survey. (January 28, 2005; updated March 20, 86 pages) pdf
Short version (10 pages, presented at LICS'05): ps pdf
4. From Process Logic to Program Logic
which gives a brief introduction to the key technical ideas in the purely functional setting.
Presented at ICFP'04. (May 2004, 12 pages) pdf
5. From Process Logic to Program Logic (full version)
which is the full version of 4. (January 2005, 50 pages) pdf
6. A
Compositional Program Logic for
Polymorphic Higher-Order Functions,
if you like universals and existentials. Presented at PPDP'04. (April 2004, 12 pages) pdf
* Original presentation (many of
the ideas developed more fully in
1--6).
Process
Logic and Duality,
Part I,
This paper gives a general account of logics for sequential computation. (March 2004, 227 pages) pdf
* Background.
(i) Processes
and Games, which argues
for the need of a general theory. Also
for those interested in games. (30 pages) pdf
(ii) Issues
in
Software Safety, which
gives an engineering backgfound . (5 pages) pdf
(iii) Sequential Process Logics: Notes on Origins, which gives a brief overview of origins of the present theory . (3 pages) pdf
Last update: August 3rd, 2006.