UCSC-SOE-15-01: Union and Intersection Contracts

Tim Disney and Cormac Flanagan
01/23/2015 03:04 PM
Computer Science
The following is a sketch of union and intersection contracts. The key idea is to hold onto a reference to the original union or intersection contract and potentially defer blaming until one or both sides have failed their contract.