OOL design and semantics papers
Kim Bruce <kim@...
1992-12-17 19:45:52 GMT
The following papers on the design, type-checking, and semantics of a
functional, statically-typed, object-oriented language, TOOPLE, are now
available for anonymous ftp:
1. Safe Type Checking in a Statically-Typed Object-Oriented Programming Language
by Kim B. Bruce. To Appear in Proc ACM Symp. Principles of Programming
2. An operational semantics for TOOPLE: A statically-typed object-oriented
programming language, by Kim B. Bruce, Jonathan Crabtree, and Gerald Kanapathy.
3. Type checking in TOOPLE is decidable, by Kim B. Bruce, Jon Crabtree,
Allyn Dimock, Robert Muller, Thomas P. Murtagh, Robert van Gent.
They may be obtained by anonymous ftp from bull.cs.williams.edu, (for those
whose name servers have difficulty finding the machine, its numeric
address is 188.8.131.52).
Login as anonymous and type your id as password when requested. To get to
the proper directory, type:
To receive the papers, type
The second and third papers are preliminary versions for conference submission,
so I would be grateful for any comments or suggestions for clarification on
them. Full versions will be available later.