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.
Previous | Index | Next An error occured whilst processing this directive