A Kripke logical relation for effect-based program transformations.

Lars Birkedal Guilhem Jaber Filip Sieczkowski Jacob Thamsborg

Published in: Inf. Comput. (2016)

Keyphrases

desirable properties
logical representation
test cases
computer programs
temporal logic
modal logic
data sets
inference rules