Constructive real interpretation of numerical programs

PLDI (1987), pp. 214-221

Abstract