[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Request for Centaur tape
------- Start of forwarded message -------
Reply-to: blerner@cs.umass.edu
To: sophie@sophia.inria.fr
Subject: Centaur
I recently spoke with Yves Bertot and he gave me this address to
request a tape of Centaur. I would like to get a copy of Centaur to
run on a DecStation 5000 running Ultrix and/or a SparcStation 10 running
SunOS Unix. I already have copies of the documentation for Centaur
1.2.
I am a member of the Software Development Lab at the University of
Massachusetts at Amherst, which also includes Prof. Jack Wileden, who
recently took a sabbatical at INRIA, and provided me with the Centaur
documentation. I am particularly interested in experimenting with the
mechanisms provided for describing semantics.
Please send the tape to:
Dr. Barbara Staudt Lerner
Deparment of Computer Science
Lederle Graduate Research Center
University of Massachusetts
Amherst, MA 01003
Please let me know if you need more information.
Joyeux Noel!
Thank you very much,
Barbara Staudt Lerner
------- End of forwarded message -------