Generating Abstract Graph-Based Procedure Summaries for Pointer Programs.

Christina Jansen Thomas Noll

Published in: ICGT (2014)

Keyphrases

high level
data structure
graph based algorithm
multiscale
image sequences
semi supervised
higher level
graph model
provably correct
database
neural network
pairwise
graph theoretic
generation process
automatic programming