Publication Date

4-1998

Technical Report Number

TR98-02

Subjects

Theory of Computation, Software, Computer Systems Organization

Abstract

We compare different kinds of first-order models of objects and message passing, as found in object-oriented programming languages. We show that generic function models can easily simulate record models for static, class-based languages. We explore type systems for such languages, and show that our simulation preserves typing. Algebraic models emerge as abstractions of the generic function model that suppress details that are irrelevant for client code.

Comments

© Gary T. Leavens and Don Pigozzi, 1997.

Share

COinS