DOI10.6092/issn.1972-5787/11442MaRDI QIDQ5014364
Andrew W. Appel, Yves Bertot
Publication date: 2 December 2021
Full work available at URL: https://hal.inria.fr/hal-03130704
Mathematics Subject Classification ID
68N15: Theory of programming languages
65Y04: Numerical algorithms for computer arithmetic, etc.