CurryCheck: Checking Properties of Curry Programs.

Published in: LOPSTR (2016)

Keyphrases

desirable properties
imperative programs
database
databases
information retrieval
search engine
relational databases
multiresolution
special case
medical images
computer programs
topological properties
key properties