CLP(chi) for Automatically Proving Program Properties.

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

Published in: J. Log. Program. (1998)

Keyphrases

automatically generated
desirable properties
imperative programs
neural network
image processing
data sets
genetic algorithm
information systems
web services
case study
multi agent
information extraction