Login / Signup

Verifying pointer programs using graph grammars.

Jonathan HeinenChristina JansenJoost-Pieter KatoenThomas Noll
Published in: Sci. Comput. Program. (2015)
Keyphrases
  • graph grammars
  • computer programs
  • context sensitive
  • data structure
  • model checking
  • context free
  • graph databases
  • data model
  • query language
  • probability distribution
  • em algorithm
  • context dependent