Go backward to Summary (Typing Rules III)
Go up to Top
Go forward to Summary (Typing Rules V)
Summary (Typing Rules IV)
- Expression
-
|- N: int |
|- N: intexp
|
-
|- L: intloc |
|- @L: intexp
|
-
|- E: intexp | |- E: intexp |
|-E+E: intexp
|
-
|- E: intexp | |- E: intexp |
|-E=E: boolexp
|
-
|- E: boolexp |
|- not E: boolexp
|
-
,
if (I:exp) in
-
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: abstraction2.tex,v 1.1 1996/04/10 07:30:13 schreine Exp schreine