Verifying Fail-Free Declarative Programs.

Published in: PPDP (2018)

Keyphrases

deductive database systems
computer programs
automatic programming
high level
domain independent
model checking
knowledge representation
control structures
fixpoint
data sets
probabilistic model
mobile robot
website
image processing
information systems
java programs
computer vision
information retrieval