Automatically Introducing Tail Recursion in CakeML
From MaRDI portal
Publication:5056071
DOI10.1007/978-3-319-89719-6_7zbMath1505.68004OpenAlexW2755587846MaRDI QIDQ5056071
Oskar Abrahamsson, Magnus O. Myreen
Publication date: 9 December 2022
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-89719-6_7
Related Items (2)
Counterexample-guided partial bounding for recursive function synthesis ⋮ The verified CakeML compiler backend
Cites Work
This page was built for publication: Automatically Introducing Tail Recursion in CakeML