archives

Typed Homomorphic Relations Extended with Subtypes


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Leavens, Gary T. and Pigozzi, Don (1991) Typed Homomorphic Relations Extended with Subtypes. Technical Report TR91-14, Department of Computer Science, Iowa State University.

Full text available as:Postscript
Adobe PDF

Abstract

Typed Homomorphic Relations Extended with Subtypes
by
Gary T. Leavens and Don Pigozzi
Typed homomorphic relations on heterogeneous algebras are generalized
to allow relationships between elements in the carrier sets of
different types.  Such relations are needed for the model theory of
incomplete, hierarchical specifications with subtypes.  Typed logical
relations are generalized similarly.  These tools help give a simple
model-theoretic account of subtyping among abstract data types as
observed by terms of a simply-typed lambda-calculus with subtypes.

Subjects:All uncategorized technical reports
ID code:00000007
Deposited by:Staff Account on 01 June 1991



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