Summary: 95
Baby Modula­3 and
a theory of objects
Mart'in Abadi
February 2, 1993; revised December 2, 1992
d i g i t a l
Systems Research Center
130 Lytton Avenue
Palo Alto, California 94301

Systems Research Center
The charter of SRC is to advance both the state of knowledge and the state of the
art in computer systems. From our establishment in 1984, we have performed ba­
sic and applied research to support Digital's business objectives. Our current work
includes exploring distributed personal computing on multiple platforms, network­
ing, programming technology, system modelling and management techniques, and
selected applications.
Our strategy is to test the technical and practical value of our ideas by building
hardware and software prototypes and using them as daily tools. Interesting systems
are too complex to be evaluated solely in the abstract; extended use allows us to

Source: Abadi, Martín - Department of Computer Science, University of California at Santa Cruz

Collections: Computer Technologies and Information Sciences