Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Language for Function Signature Representations   Recent work by (Richardson and Kuhn, 2017a,b; Richardson et al., 2018) looks
at semantic parser induction and question answering in the domain of source
code libraries and APIs. In this brief note, we formalize the representations
being learned in these studies and introduce a simple domain specific language
and a systematic translation from this language to first-order logic. By
recasting the target representations in terms of classical logic, we aim to
broaden the applicability of existing code datasets for investigating more
complex natural language understanding and reasoning problems in the software
domain.

5
The categories of this paper are: gr-qc
32
The categories of this paper are: atom-ph
12
The categories of this paper are: nucl-th
10
The categories of this paper are: q-bio
20
The categories of this paper are: acc-phys
33
The categories of this paper are: plasm-ph
3
The categories of this paper are: physics
15
The categories of this paper are: nucl-ex
25
The categories of this paper are: patt-sol
31
The categories of this paper are: ao-sci
18
The categories of this paper are: econ
21
The categories of this paper are: adap-org
17
The categories of this paper are: q-fin
16
The categories of this paper are: stat
23
The categories of this paper are: solv-int
24
The categories of this paper are: dg-ga