ided - University of California, Berkeley

Electrical Engineering and Computer Science Department ... in a Version Server under development at the University of California, Berkeley. ..... The semantic distinction among equivalences and conï¬gurations can be exploited to good.