Eerke Boiten: Talks and Draft Papers

Talks

Reflection in Java for genericity, IFIP WG 2.1 meeting, June 1999
Invisible formal specifications, UKC & Nottingham, Oct/Nov 1999
Simple refinement, TCS seminar, June 2000
Underspecification, non-determinism and refinement, TCS seminar, June 2001
Languages for partial specification, Stirling, September 2001
A Multi-Lattice for Partial Specification, TCS seminar, October 2001
Refinement of Parameterised Z Specifications, ZB 2002, Grenoble, January 2002.
Implicit Quantification, TCS seminar, October 2002 slides
Refinement with Approximations, TCS seminar, March 2004.
Finding Functors in Relational Abstract Data Types, Workshop on Datatype-Generic Programming, Oxford, June 2004.
A Quantitative Approach to Program Correctness TCS seminar, November 2005.
Zero Knowledge Interactive Proof, TCS seminar and Birmingham, November 2006.
Commitment, TCS seminar and Surrey, November/December 2006.
From ABZ to Cryptography, ABZ September 2008.

Draft Papers

The Consistency project left one unpublished paper:

Eerke Boiten, Howard Bowman, John Derrick, Maarten Steen: Managing inconsistency and promoting consistency , unpublished, 1997. abs, ps.gz (20pp, 105k). (Discussing software engineering aspects of the viewpoints work.)

Others:

Simple Refinement in Z: the Strongest Invariant, unpublished, 2001.
Failures Refinement is Relational Refinement of Disjunctive Closures, unpublished, 2003, must be wrong, trying to find the error (it's in the proof by contradiction of course).