Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: CurryCheck: Checking Properties of Curry Programs   We present CurryCheck, a tool to automate the testing of programs written in
the functional logic programming language Curry. CurryCheck executes unit tests
as well as property tests which are parameterized over one or more arguments.
In the latter case, CurryCheck tests these properties by systematically
enumerating test cases so that, for smaller finite domains, CurryCheck can
actually prove properties. Unit tests and properties can be defined in a Curry
module without being exported. Thus, they are also useful to document the
intended semantics of the source code. Furthermore, CurryCheck also supports
the automated checking of specifications and contracts occurring in source
programs. Hence, CurryCheck is a useful tool that contributes to the property-
and specification-based development of reliable and well tested declarative
programs.

35
The categories of this paper are: mtrl-th
16
The categories of this paper are: stat
28
The categories of this paper are: alg-geom
12
The categories of this paper are: nucl-th
33
The categories of this paper are: plasm-ph
26
The categories of this paper are: bayes-an
6
The categories of this paper are: astro-ph
13
The categories of this paper are: quant-ph
10
The categories of this paper are: q-bio
5
The categories of this paper are: gr-qc
27
The categories of this paper are: comp-gas
37
The categories of this paper are: supr-con
0
The categories of this paper are: hep-ph
20
The categories of this paper are: acc-phys
15
The categories of this paper are: nucl-ex
4
The categories of this paper are: cond-mat