Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A non-local method for robustness analysis of floating point programs   Robustness is a standard correctness property which intuitively means that if
the input to the program changes less than a fixed small amount then the output
changes only slightly. This notion is useful in the analysis of rounding error
for floating point programs because it helps to establish bounds on output
errors introduced by both measurement errors and by floating point computation.
Compositional methods often do not work since key constructs---like the
conditional and the while-loop---are not robust. We propose a method for
proving the robustness of a while-loop. This method is non-local in the sense
that instead of breaking the analysis down to single lines of code, it checks
certain global properties of its structure. We show the applicability of our
method on two standard algorithms: the CORDIC computation of the cosine and
Dijkstra's shortest path algorithm.

21
The categories of this paper are: adap-org
10
The categories of this paper are: q-bio
28
The categories of this paper are: alg-geom
5
The categories of this paper are: gr-qc
6
The categories of this paper are: astro-ph
25
The categories of this paper are: patt-sol
22
The categories of this paper are: chao-dyn
11
The categories of this paper are: hep-lat
8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th
3
The categories of this paper are: physics
18
The categories of this paper are: econ
13
The categories of this paper are: quant-ph
31
The categories of this paper are: ao-sci
12
The categories of this paper are: nucl-th
32
The categories of this paper are: atom-ph