Go backward to Bounded Quantification
Go up to Top
Go forward to Bounded Quantification 'n Subtyping
Record Types and Inheritance
- Record type:
- {} <= {,...,} iff
<= (for in 1 ...n)
- is subtype of if has all the fields of (possibly more)
and the types of the common fields are subtypes.
- Concept of inheritance (subclasses)
- Records may have functional components.
- Class instance is record with functions and local variables.
- Subclass instance is record with at least those functions and variables.
- Variant types:
- []
<= [] iff
<= (for in 1 ...n)
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: understand.tex,v 1.1 1996/06/12 09:38:21 schreine Exp schreine