Override and update

Marcel Jackson, Tim Stokes

Override and update are natural constructions for combining partial functions, which arise in various program specification contexts. We use an unexpected connection with combinato…