Quantification in Algol-like Languages
R.D. Tennent
Abstract: A general notation is proposed which may be
used to replace many specialized constructions in programming
languages and logics, including variable-declaration blocks and
quantified formulas.
LFCS report ECS-LFCS-86-6
Previous |
Index |
Next