Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists.

Roman Manevich Eran Yahav Ganesan Ramalingam Shmuel Sagiv

Published in: VMCAI (2005)

Keyphrases

high level
data abstraction
cooperative
search space
database
real time
neural network
multimedia
natural language
expert systems
state space