Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Practical Run-time Checking via Unobtrusive Property Caching   The use of annotations, referred to as assertions or contracts, to describe
program properties for which run-time tests are to be generated, has become
frequent in dynamic programing languages. However, the frameworks proposed to
support such run-time testing generally incur high time and/or space overheads
over standard program execution. We present an approach for reducing this
overhead that is based on the use of memoization to cache intermediate results
of check evaluation, avoiding repeated checking of previously verified
properties. Compared to approaches that reduce checking frequency, our proposal
has the advantage of being exhaustive (i.e., all tests are checked at all
points) while still being much more efficient than standard run-time checking.
Compared to the limited previous work on memoization, it performs the task
without requiring modifications to data structure representation or checking
code. While the approach is general and system-independent, we present it for
concreteness in the context of the Ciao run-time checking framework, which
allows us to provide an operational semantics with checks and caching. We also
report on a prototype implementation and provide some experimental results that
support that using a relatively small cache leads to significant decreases in
run-time checking overhead.

26
The categories of this paper are: bayes-an
12
The categories of this paper are: nucl-th
29
The categories of this paper are: funct-an
25
The categories of this paper are: patt-sol
24
The categories of this paper are: dg-ga
10
The categories of this paper are: q-bio
28
The categories of this paper are: alg-geom
3
The categories of this paper are: physics
2
The categories of this paper are: math
22
The categories of this paper are: chao-dyn
9
The categories of this paper are: nlin
0
The categories of this paper are: hep-ph
7
The categories of this paper are: hep-th
6
The categories of this paper are: astro-ph
31
The categories of this paper are: ao-sci
34
The categories of this paper are: chem-ph