Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Generic Analysis Environment for Curry Programs   We present CurryBrowser, a generic analysis environment for the declarative
multi-paradigm language Curry. CurryBrowser supports browsing through the
program code of an application written in Curry, i.e., the main module and all
directly or indirectly imported modules. Each module can be shown in different
formats (e.g., source code, interface, intermediate code) and, inside each
module, various properties of functions defined in this module can be analyzed.
In order to support the integration of various program analyses, CurryBrowser
has a generic interface to connect local and global analyses implemented in
Curry. CurryBrowser is completely implemented in Curry using libraries for GUI
programming and meta-programming.

4
The categories of this paper are: cond-mat
37
The categories of this paper are: supr-con
29
The categories of this paper are: funct-an
23
The categories of this paper are: solv-int
5
The categories of this paper are: gr-qc
10
The categories of this paper are: q-bio
24
The categories of this paper are: dg-ga
20
The categories of this paper are: acc-phys
33
The categories of this paper are: plasm-ph
22
The categories of this paper are: chao-dyn
35
The categories of this paper are: mtrl-th
34
The categories of this paper are: chem-ph
19
The categories of this paper are: eess
7
The categories of this paper are: hep-th
9
The categories of this paper are: nlin
6
The categories of this paper are: astro-ph