Home
 

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