Books
Short works
Books : reviews
Bruce D. Shriver, Peter Wegner, eds.
Research Directions in Object-Oriented Programming.
MIT Press. 1987
(read but not reviewed)
Contents
- Peter Wegner, Bruce D. Shriver. Introduction to "Research Directions in OOP". 1987
- Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Moller-Pedersen, Kristen Nygaard. The BETA Programming Language. 1987
- Gul A. Agha, Carl Hewitt. Actors: A Conceptual Foundation for Concurrent Object-Oriented Programming. 1987
- Kenneth Kahn, Eric Tribble, Mark Miller, Daniel Bobrow. Vulcan: Logical Concurrent Objects. 1987
- Ole Lehrmann Madsen. Block-Structure and Object-Oriented Languages. 1987
- Daniel Bobrow, David Fogelsong, Mark Miller. Definition Groups: Making Sources into First-Class Objects. 1987
- Brent T. Hailpern, Van Nguyen. A Model for Object-Based Inheritance. 1987
- Alan Snyder. Inheritance and the Development of Encapsulated Software Systems. 1987
- Steven Reiss. An Object-Oriented Framework for Conceptual Programming. 1987
- Harold Ossher. A Mechanism for Specifying the Structure of Large, Layered Systems. 1987
- Reid Smith, Paul Bart, Robert Young. A Substrate for Object-Oriented Interface Design. 1987
- David Beech. Groundwork for an Object Database Model. 1987
- David Maier, Jacob Stein. Development and Implementation of an Object-Oriented DBMS. 1987
- Andrea Skarra, Stanley Zdonik. Type Evolution in an Object-Oriented Database. 1987
- Joseph A. Goguen, Jose Meseguer. Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. 1987
-
[ abstract data type |
rewrite rules / Church-Rosser
| object |
object-oriented ]
- Peter Wegner. The Object-Oriented Classification Paradigm. 1987
-
[ algebra |
calculus |
class |
inheritance: super/subclass,
self | object |
object-based |
object-oriented |
semantics: denotational,
operational | specification
| type: polymorphic, strong ]
- Ole-Johan Dahl. Object-Oriented Specifications. 1987
Dina Goldin, Scott A. Smolka, Peter Wegner.
Interactive Computation: the new paradigm.
Springer. 2006