The world's shortest correct exact real arithmetic program?
From MaRDI portal
Publication:714620
DOI10.1016/j.ic.2011.09.004zbMath1386.68150MaRDI QIDQ714620
Publication date: 11 October 2012
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2011.09.004
68N18: Functional programming and lambda calculus
65G20: Algorithms with automatic result verification
Uses Software