Go backward to
Evaluation Functions
Go up to
Top
Go forward to
Strongly Typed Languages
A Block-Structured Language
See Figures 7.1 and 7.2
Composition of commands
C
[[C
1
; C
2
]]=
lambda
e.(
C
[[C
2
]] e)
o
(
C
[[C
1
]] e)
Both C
1
and C
2
are evaluated in e.
C
1
may contain local declarations.
Environments created within C
1
do not affect C
2
.
Static scoping
Context of phrase solely determined by its textual position.
Identifier declared within block only referenced by commands within that block.
Straight-forward management of storage locations.
Author:
Wolfgang Schreiner
Last Modification: November 18, 1997