Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Runtime verification in Erlang by using contracts   During its lifetime, a program suffers several changes that seek to improve
or to augment some parts of its functionality. However, these modifications
usually also introduce errors that affect the already-working code. There are
several approaches and tools that help to spot and find the source of these
errors. However, most of these errors could be avoided beforehand by using some
of the knowledge that the programmers had when they were writing the code. This
is the idea behind the design-by-contract approach, where users can define
contracts that can be checked during runtime. In this paper, we apply the
principles of this approach to Erlang, enabling, in this way, a runtime
verification system in this language. We define two types of contracts. One of
them can be used in any Erlang program, while the second type is intended to be
used only in concurrent programs. We provide the details of the implementation
of both types of contracts. Moreover, we provide an extensive explanation of
each contract as well as examples of their usage. All the ideas presented in
this paper have been implemented in a contract-based runtime verification
system named EDBC. Its source code is available at GitHub as an open-source and
free project.

8
The categories of this paper are: hep-ex
26
The categories of this paper are: bayes-an
11
The categories of this paper are: hep-lat
20
The categories of this paper are: acc-phys
34
The categories of this paper are: chem-ph
28
The categories of this paper are: alg-geom
14
The categories of this paper are: math-ph
37
The categories of this paper are: supr-con
22
The categories of this paper are: chao-dyn
18
The categories of this paper are: econ
9
The categories of this paper are: nlin
24
The categories of this paper are: dg-ga
15
The categories of this paper are: nucl-ex
27
The categories of this paper are: comp-gas
4
The categories of this paper are: cond-mat
25
The categories of this paper are: patt-sol