Login / Signup
Verifying event-driven programs using ramified frame properties.
Neel Krishnaswami
Lars Birkedal
Jonathan Aldrich
Published in:
TLDI (2010)
Keyphrases
</>
event driven
information delivery
publish subscribe
imperative programs
model checking
markup language
computer programs
fuzzy cognitive maps
data sets
computer vision
database systems
structural properties