[PRL] the meaning of software contracts -- aka contracts as projections

Matthias Felleisen matthias at ccs.neu.edu
Wed Feb 11 17:18:18 EST 2004


Is available at

    http://www.ccs.neu.edu/home/matthias/Tmp/contracts-as-projections.pdf

-- Matthias




More information about the PRL mailing list