%0 Book Section %1 Kozen_2000 %A Kozen, Dexter %A Patron, Maria-Cristina %B Computational Logic — CL 2000 %D 2000 %E Lloyd, John W. %E Dahl, Verónica %E Furbach, Ulrich %E Kerber, Manfred %E Lau, Kung-Kiu %E Palamidessi, Catuscia %E Pereira, Luís Moniz %E Sagiv, Yehoshua %E Stuckey, Peter J. %I Springer Berlin Heidelberg %K Kleene-algebra compiler %P 568--582 %R 10.1007/3-540-44957-4_38 %T Certification of Compiler Optimizations Using Kleene Algebra with Tests %U https://doi.org/10.1007%2F3-540-44957-4_38

@incollection{Kozen_2000, added-at = {2023-05-07T21:25:26.000+0200}, author = {Kozen, Dexter and Patron, Maria-Cristina}, biburl = {https://www.bibsonomy.org/bibtex/2e9e79d53c6a6d1a5e58aa85793f27021/nburke}, booktitle = {Computational Logic {\textemdash} {CL} 2000}, doi = {10.1007/3-540-44957-4_38}, editor = {Lloyd, John W. and Dahl, Verónica and Furbach, Ulrich and Kerber, Manfred and Lau, Kung-Kiu and Palamidessi, Catuscia and Pereira, Luís Moniz and Sagiv, Yehoshua and Stuckey, Peter J.}, interhash = {26de96b355e44be28fe7e2affe3d9e81}, intrahash = {e9e79d53c6a6d1a5e58aa85793f27021}, keywords = {Kleene-algebra compiler}, pages = {568--582}, publisher = {Springer Berlin Heidelberg}, timestamp = {2023-05-07T21:25:26.000+0200}, title = {Certification of Compiler Optimizations Using Kleene Algebra with Tests}, url = {https://doi.org/10.1007%2F3-540-44957-4_38}, year = 2000 }