Publication Date

9-1993

Technical Report Number

TR93-23

Subjects

Computer Systems Organization, Software

Abstract

Four alternatives for the semantics of inheritance of specifications are discussed. The information loss and frame axiom problems for inherited specifications are also considered.

Share

COinS