Author:
Boehm Hans-J.,Cartwright Robert,Riggle Mark,O'Donnell Michael J.
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Domain-theoretic Approach to Statistical Programming Languages;Journal of the ACM;2023-10-11
2. Parallel shadow execution to accelerate the debugging of numerical errors;Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2021-08-18
3. Towards an API for the real numbers;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06
4. Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving;Logic, Language, Information, and Computation;2018
5. Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations;Programming Languages and Systems;2016