home
>
NF reviews
> Bruce D. Shriver
Google >
Bruce D. Shriver
author : Bruce D. Shriver
Books
Research Directions in Object-Oriented Programming
. 1987.
With
Peter Wegner
Papers/Articles
Introduction to "Research Directions in OOP". 1987. In
Research Directions in Object-Oriented Programming
Books : reviews
Bruce D. Shriver, Peter Wegner, editors.
Research Directions in Object-Oriented Programming
. MIT Press. 1987
Contents
Peter Wegner
,
Bruce D. Shriver
.
Introduction to "Research Directions in OOP"
Bent Bruun Kristensen
,
Ole Lehrmann Madsen
,
Birger Moller-Pedersen
,
Kristen Nygaard
.
The BETA Programming Language
Gul A. Agha
,
Carl Hewitt
.
Actors: A Conceptual Foundation for Concurrent Object-Oriented Programming
Kenneth Kahn
,
Eric Tribble
,
Mark Miller
,
Daniel Bobrow
.
Vulcan: Logical Concurrent Objects
Ole Lehrmann Madsen
.
Block-Structure and Object-Oriented Languages
Daniel Bobrow
,
David Fogelsong
,
Mark Miller
.
Definition Groups: Making Sources into First-Class Objects
Brent T. Hailpern
,
Van Nguyen
.
A Model for Object-Based Inheritance
Alan Snyder
.
Inheritance and the Development of Encapsulated Software Systems
Steven Reiss
.
An Object-Oriented Framework for Conceptual Programming
Harold Ossher
.
A Mechanism for Specifying the Structure of Large, Layered Systems
Reid Smith
,
Paul Bart
,
Robert Young
.
A Substrate for Object-Oriented Interface Design
David Beech
.
Groundwork for an Object Database Model
David Maier
,
Jacob Stein
.
Development and Implementation of an Object-Oriented DBMS
Andrea Skarra
,
Stanley Zdonik
.
Type Evolution in an Object-Oriented Database
Joseph A. Goguen
,
Jose Meseguer
.
Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics
[
abstract data type
|
rewrite rules / Church-Rosser
|
object
|
object-oriented
]
Peter Wegner
.
The Object-Oriented Classification Paradigm
[
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