Constructive real interpretation of numerical programs
暂无分享,去创建一个
[1] Benjamin B. Chase,et al. Selective interpretation as a technique for debugging computationally intensive programs , 1987, PLDI.
[2] J. Ortega. Numerical Analysis: A Second Course , 1974 .
[3] Ken Kennedy,et al. An Experimental Computer Network to Support Numerical Computation , 1982 .
[4] Michael J. O'Donnell,et al. Equational Logic as a Programming Language. , 1987 .
[5] Alan J. Demers,et al. Data types are values , 1985, ACM Trans. Program. Lang. Syst..
[6] John Myhill,et al. What Is a Real Number , 1972 .
[7] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .
[8] Hans-Juergen Boehm,et al. Implementing RUSSELL , 1986, SIGPLAN '86.