VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content.

Jorge Coelho Mário Florido

Published in: APWeb Workshops (2006)

Keyphrases

constraint logic programming
website
web content
constraint solving
logic programming language
answer set programming
logic programming
constraint programming
proof theoretic
temporal reasoning
model checking
constraint propagation
answer sets
logic programs
linear programming
low level
lower bound