DOI10.6092/issn.1972-5787/12643MaRDI QIDQ5014365
Andrew W. Appel, Yves Bertot
Publication date: 2 December 2021
Full work available at URL: https://jfr.unibo.it/article/view/12643
Mathematics Subject Classification ID
68N15: Theory of programming languages
65Y04: Numerical algorithms for computer arithmetic, etc.