Automatically introducing tail recursion in CakeML
Paper in proceeding, 2018
Author
Oskar Abrahamsson
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Magnus Myreen
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Published in
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 10788 LNCSp. 118-134978-3-319-89718-9 (ISBN)
Conference
Canterbury, United Kingdom, 2017-06-18 - 2017-06-20
Categorizing
Subject Categories
Language Technology (Computational Linguistics)
Computer Systems
Mathematical Analysis
Identifiers
DOI
10.1007/978-3-319-89719-6_7