CurryCheck: Checking Properties of Curry Programs.

Published in: CoRR (2016)

Keyphrases

database
data sets
wide range
databases
three dimensional
information technology
relational databases
probabilistic model
consistency checking
imperative programs