Retargetable compilation of self-test programs using constraint logic programming.

Published in: Code Generation for Embedded Processors (1994)

Keyphrases

constraint logic programming
constraint solving
logic programming
logic programming language
constraint programming
answer set programming
test cases
temporal reasoning
artificial intelligence
global constraints
programming paradigms
data mining
reinforcement learning
np complete
answer sets
finite domain