Family values: a semantic notion of subtyping

Family values: a semantic notion of subtyping

Show other versions (1)
Bibliographic Details
Corporate Author: Carnegie Mellon University Computer Science Department
Other Authors: Liskov, B, Wing, J. M
Format: Book
Language:English
Published: 1992
Subjects:
Abstraction function
Extensible types
Formal specifications
Larch
Mutable types
Object-oriented design
Semantics
Subtype

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Stanford University

Holdings details from Stanford University
Call Number: 124174
ISIL:US-CST

Similar Items