Sign in

Polymorphic predicate abstraction.

Thomas BallTodd D. MillsteinSriram K. Rajamani
Published in: ACM Trans. Program. Lang. Syst. (2005)
Keyphrases
  • high level
  • data abstraction
  • databases
  • real time
  • data structure
  • first order logic