A Logic for Expressions with Side-Effects

POPL(1982), pp. 268-280

Abstract

Research Areas