Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Adding Partial Functions to Constraint Logic Programming with Sets   Partial functions are common abstractions in formal specification notations
such as Z, B and Alloy. Conversely, executable programming languages usually
provide little or no support for them. In this paper we propose to add partial
functions as a primitive feature to a Constraint Logic Programming (CLP)
language, namely {log}. Although partial functions could be programmed on top
of {log}, providing them as first-class citizens adds valuable flexibility and
generality to the form of set-theoretic formulas that the language can safely
deal with. In particular, the paper shows how the {log} constraint solver is
naturally extended in order to accommodate for the new primitive constraints
dealing with partial functions. Efficiency of the new version is empirically
assessed by running a number of non-trivial set-theoretical goals involving
partial functions, obtained from specifications written in Z.

29
The categories of this paper are: funct-an
14
The categories of this paper are: math-ph
16
The categories of this paper are: stat
6
The categories of this paper are: astro-ph
18
The categories of this paper are: econ
36
The categories of this paper are: cmp-lg
32
The categories of this paper are: atom-ph
0
The categories of this paper are: hep-ph
34
The categories of this paper are: chem-ph
24
The categories of this paper are: dg-ga
21
The categories of this paper are: adap-org
35
The categories of this paper are: mtrl-th
9
The categories of this paper are: nlin
25
The categories of this paper are: patt-sol
7
The categories of this paper are: hep-th
23
The categories of this paper are: solv-int