Reducing crash recoverability to reachability.

Eric Koskinen Junfeng Yang

Published in: POPL (2016)

Keyphrases

state space
high level
data analysis
transitive closure
database
computer vision
pattern recognition
software engineering