Stay Informed:
Baskin Engineering COVID-19 Information and Resources
Campus Roadmap to Recovery
Zoom Links: Zoom Help | Teaching with Zoom | Zoom Quick Guide

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.