%0 Conference Paper %1 conf/tacas/TanHM21 %A Tan, Yong Kiam %A Heule, Marijn J. H. %A Myreen, Magnus O. %B TACAS (2) %D 2021 %E Groote, Jan Friso %E Larsen, Kim Guldstrand %I Springer %K dblp %P 223-241 %T cake_lpr: Verified Propagation Redundancy Checking in CakeML. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2021-2.html#TanHM21 %V 12652 %@ 978-3-030-72013-1

@inproceedings{conf/tacas/TanHM21, added-at = {2021-05-14T00:00:00.000+0200}, author = {Tan, Yong Kiam and Heule, Marijn J. H. and Myreen, Magnus O.}, biburl = {https://www.bibsonomy.org/bibtex/2a44979985575f55deaa65f53604afb22/dblp}, booktitle = {TACAS (2)}, crossref = {conf/tacas/2021-2}, editor = {Groote, Jan Friso and Larsen, Kim Guldstrand}, ee = {https://doi.org/10.1007/978-3-030-72013-1_12}, interhash = {0df5229dceb5864baf1f71e65e6fab9f}, intrahash = {a44979985575f55deaa65f53604afb22}, isbn = {978-3-030-72013-1}, keywords = {dblp}, pages = {223-241}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:28.000+0200}, title = {cake_lpr: Verified Propagation Redundancy Checking in CakeML.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2021-2.html#TanHM21}, volume = 12652, year = 2021 }