Polymorphic predicate abstraction.

Thomas Ball Todd D. Millstein Sriram K. Rajamani

Published in: ACM Trans. Program. Lang. Syst. (2005)

Keyphrases

high level
data abstraction
databases
real time
data structure
first order logic