Login / Signup

Constructive real interpretation of numerical programs.

Hans-Juergen Boehm
Published in: PLDI (1987)
Keyphrases