[Prev][Next][Index][Thread]
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:
/pub/DEC/SRC/research-reports
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: 16.1.0.2.
Hardcopies are always available and can be ordered by sending mail
to: src-report@src.dec.com.