A kripke logical relation for effect-based program transformations.

Jacob Thamsborg Lars Birkedal

Published in: ICFP (2011)

Keyphrases

inference rules
logical representation
real time
desirable properties
probabilistic logic
machine learning
control program
negative impact
logical framework
programming environment
static analysis
modal logic
website
computer programs
program execution
search algorithm
information systems