Login / Signup

Verifying event-driven programs using ramified frame properties.

Neel KrishnaswamiLars BirkedalJonathan 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