Verified Inlining and Specialisation for PureCake
Paper i proceeding, 2024
functional programming
machine-checked proofs
function inlining
loop optimisation
verified compilation
Författare
Hrutvik Kanabar
University Of Kent
Kacper Korban
Student vid Chalmers
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. 14577 LNCS 275-3019783031572661 (ISBN)
Luxembourg City, Luxembourg,
De nästa 700 verifierade kompilatorerna
Vetenskapsrådet (VR) (2021-05165), 2022-01-01 -- 2025-12-31.
Ämneskategorier
Didaktik
Nationalekonomi
Datavetenskap (datalogi)
Matematisk analys
DOI
10.1007/978-3-031-57267-8_11