Specification-Based Automatic Verification of Prolog Programs.

Agostino Cortesi Baudouin Le Charlier Sabina Rossi

Published in: LOPSTR (1996)

Keyphrases

prolog programs
logic programs
answer set programming
specification language
control flow
formal specification
data mining
relational databases
data sets
source code
data flow
error rate
high level
metadata
artificial intelligence
machine learning
real world