Analytic Constraint Solving and Interval Arithmetic.

Timothy J. Hickey

Browse the full POPL paper archive.