Constructive real interpretation of numerical programs (1987)

by Hans-Juergen Boehm
Venue:ACM SIGPLAN Notices