Precise and compact modular procedure summaries for heap manipulating programs.

Isil Dillig Thomas Dillig Alex Aiken Mooly Sagiv

Published in: PLDI (2011)

Keyphrases

data structure
computer programs
neural network
information systems
real world
artificial intelligence
video summaries
modular structure