Skip to content

Constructive real interpretation of numerical programs.

Hans-Juergen Boehm

VenueA*PLDI
Year1987
ProceedingsPLDI

Browse the full PLDI paper archive.