a paper on objects for anonymous ftp

"Baby Modula-3 and a theory of objects" is available by anonymous 
ftp.  Instructions follow.  This is not the first paper on object 
types, and probably not the last one; but I hope some of you will 
find it worth reading. 

The abstract goes: 

  Baby Modula-3 is a small, functional, object-oriented programming 
  language.  It is intended as a vehicle for explaining the core 
  of Modula-3, from a biased perspective: Baby Modula-3 includes 
  the main features of Modula-3 related to objects, but not much 
  else.  To the theoretician, Baby Modula-3 provides a tractable, 
  concrete example of an object-oriented language, and we use it 
  to study the formal semantics of objects. 

  Baby Modula-3 is defined with a structured operational semantics 
  and with a set of static type rules. A denotational semantics guarantees 
  the soundness of this definition.

Martin Abadi


New SRC Research Reports are currently being made available via 
anonymous ftp from gatekeeper.pa.dec.com. The pathname to them is:

i.e. type at the prompt> ftp gatekeeper.pa.dec.com
	Name           > anonymous
	Password       > your e-mail address
	ftp            > cd pub/DEC/SRC/research-reports

A README file provides retrieving instructions.

An index and a list of abstracts of all SRC reports is also available 
in this directory indicating which earlier reports can be FTP'd. 

For those at DEC using a VMS machine, SRC Reports on gatekeeper are
available via DECnet in the directory: DECWRL::"/pub/DEC/SRC/research-reports"
i.e. type at the prompt> dir decwrl::"/pub/DEC/SRC/research-reports"

The IP address corresponding to gatekeeper.pa.dec.com is:

Hardcopies are always available and can be ordered by sending mail 
to: src-report@src.dec.com.