Capsules and Types in Fresco: Program Verification in Smalltalk.

Alan Wills

Browse the full ECOOP paper archive.