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).













