ided - University of California, Berkeley

3 downloads 41060 Views 618KB Size Report
Electrical Engineering and Computer Science Department ... in a Version Server under development at the University of California, Berkeley. ..... The semantic distinction among equivalences and configurations can be exploited to good.