archives

Inheritance of Interface Specifications


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Leavens, Gary T. (1993) Inheritance of Interface Specifications. Technical Report TR93-23, Department of Computer Science, Iowa State University.

Full text available as:Postscript
Adobe PDF

Abstract

Inheritance of Interface Specifications
(Extended Abstract)
by
Gary T. Leavens
Department of Computer Science, Iowa State University
229 Atanasoff Hall, Ames Iowa 50011-1040 USA
leavens@cs.iastate.edu
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.

Subjects:All uncategorized technical reports
ID code:00000057
Deposited by:Staff Account on 13 October 1993



Contact site administrator at: ssg@cs.iastate.edu