Automatic numeric abstractions for heap-manipulating programs.

Stephen Magill Ming-Hsien Tsai Peter Lee Yih-Kuen Tsay

Published in: POPL (2010)

Keyphrases

data structure
semi automatic
machine learning
data driven
image sequences
database
information systems
high level
search algorithm
trade off
reinforcement learning
operating system
computer programs