Go up to Top
Go forward to Abstract Syntax
Variable Declarations
- Alias abstraction.
- Naming of an allocated location.
- Variable declaration.
- Allocation of a fresh location.
- (Potentially) initialization.
- Binding to identifier.
- Part command and part abstraction.
- Core language construct?
- Eagerly evaluated abstraction!
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: abstraction2.tex,v 1.1 1996/04/10 07:30:13 schreine Exp schreine