Verified Inlining and Specialisation for PureCake
Paper in proceeding, 2024
functional programming
machine-checked proofs
function inlining
loop optimisation
verified compilation
Author
Hrutvik Kanabar
University Of Kent
Kacper Korban
Student at Chalmers
Magnus Myreen
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 14577 LNCS 275-3019783031572661 (ISBN)
Luxembourg City, Luxembourg,
The next 700 verified compilers
Swedish Research Council (VR) (2021-05165), 2022-01-01 -- 2025-12-31.
Subject Categories
Didactics
Economics
Computer Science
Mathematical Analysis
DOI
10.1007/978-3-031-57267-8_11