This paper presents a theory of non-linear integer/real arithmetic and
a...
This paper shows how techniques for linear dynamical systems can be used...
Determining whether a given program terminates is the quintessential
und...
This paper is the confluence of two streams of ideas in the literature o...
This paper presents a technique for computing numerical loop summaries. ...
share