ILC: A Foundation for Automated Reasoning About Pointer Programs.

Limin Jia David Walker

Published in: ESOP (2006)

Keyphrases

data structure
semi automated
fully automated
formal theory
iterative learning control
database
real world
spatial reasoning
databases
computer vision
video sequences
data driven
computer aided
computer programs
control program