CLP(chi) for Proving Program Properties.

Frédéric Mesnard Sébastien Hoarau Alexandra Maillard

Published in: FroCoS (1996)

Keyphrases

constraint programming
imperative programs
learning algorithm
special case
search engine
information systems
three dimensional
database systems
video sequences
knowledge representation
test cases