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
.
I
invoke
I
call
I
Example: command abstractions
proc
I=C.
call
I
Systematic introduction of names into our core language
.
Author:
Wolfgang Schreiner
Last Modification: April 2, 1998