Skip to content

Optimizing Programs over the Constructive Reals.

Vernon A. Lee Jr., Hans-Juergen Boehm

VenueA*PLDI
Year1990
ProceedingsPLDI

Browse the full PLDI paper archive.