Login / Signup

Checking Properties of Heap-Manipulating Procedures with a Constraint Solver.

Mandana VaziriDaniel Jackson
Published in: TACAS (2003)
Keyphrases
  • constraint solver
  • constraint solving
  • data structure
  • constraint propagation
  • constraint satisfaction problems
  • linear constraints
  • constraint programming
  • fuzzy sets
  • constraint satisfaction