Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}