Verifying pointer programs using graph grammars.

Jonathan Heinen Christina Jansen Joost-Pieter Katoen Thomas 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