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