Automatically introducing tail recursion in CakeML
Paper i proceeding, 2018
Författare
Oskar Abrahamsson
Chalmers, Data- och informationsteknik, Formella metoder
Magnus Myreen
Chalmers, Data- och informationsteknik, Formella metoder
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 10788 LNCS 118-134978-3-319-89718-9 (ISBN)
Canterbury, United Kingdom,
Ämneskategorier
Språkteknologi (språkvetenskaplig databehandling)
Datorsystem
Matematisk analys
DOI
10.1007/978-3-319-89719-6_7