Efficient Substitution in Hoare Logic Expressions

Abstract

Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important to choose a good implementation for it. In this paper we compare different definitions and implementations of substitution in a logical framework, in an effort to maximize… (More)
DOI: 10.1016/S1571-0661(04)80872-7

Topics

3 Figures and Tables

Slides referencing similar topics