Go backward to Expression Abstractions
Go up to Top
Go forward to Typing Rules
Type Attributes of Functions
- Type attribute of a function established by its definition.
- Type attribute forwarded to users of function
- Introduce type assignment p = Sdec.
- Set S of (identifier:type attribute) pairs.
- For each I, at most one (I:H) in S.
- Example:
- fun A = 1+@loc_1.
- fun B = @loc_1=0.
- p_1 = {A: intexp, B: boolexp}dec.
- Each tree node annotated with type and type assignment.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: abstraction.tex,v 1.1 1996/03/05 08:55:21 schreine Exp schreine