Semantical Analysis of Specification Logic

R.D. Tennent

Abstract: The ``specification logic'' of J C Reynolds is a programming logic for Algol 60-like languages with procedures. It is interpreted here as an intuitionistic theory. The model is based on a form of possible-world semantics first used for programming-language interpretation by Reynolds and F J Oles to treat stack-oriented storage management.

LFCS report ECS-LFCS-86-5

Previous | Index | Next