Go backward to The Abstraction Principle
Go up to Top
Go forward to Expression Abstractions
Abstractions
define I = V
- Abstractions introduced by definitions.
- I ...name.
- V ...body.
- Association of I to V ...binding.
- Abstractions activated by invocations.
- Example: command abstractions
Systematic introduction of names into our core language.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: abstraction.tex,v 1.1 1996/03/05 08:55:21 schreine Exp schreine