Go backward to Summary (Abstract Syntax)
Go up to Top
Go forward to Summary (Typing Rules I)
Summary (Type Attributes)
- Type attributes
- ::= | exp | comm | | class | dec
- ::= int | bool
- ::= intloc |
- ::=
{:}, where subset Identifier
- Meaning of type attributes:
- [[int]] = Int.
- [[bool]] = Bool.
- [[exp]] = Store [[]].
- [[comm]] = Store
Store.
- [[intloc]] = Location.
- [[class]] = Store ([[]]
x Store).
- [[dec]] = Store [[]].
- [[{:}]] =
{:[[]]}
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: abstraction2.tex,v 1.1 1996/04/10 07:30:13 schreine Exp schreine