cake_lpr: Verified Propagation Redundancy Checking in CakeML
Paper i proceeding, 2021
linear propagation redundancy
binary code extraction
Författare
Yong Kiam Tan
Carnegie Mellon University (CMU)
Marijn J. H. Heule
Carnegie Mellon University (CMU)
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. 12652 LNCS 223-241978-3-030-72012-4 (ISBN)
Luxembourg City, Luxembourg,
Ämneskategorier
Inbäddad systemteknik
Datavetenskap (datalogi)
Datorsystem
DOI
10.1007/978-3-030-72013-1_12
ISBN
9783030720124