%0 Conference Paper %1 conf/vmcai/TitoloFMM18 %A Titolo, Laura %A Feliú, Marco A. %A Moscato, Mariano M. %A Muñoz, César A. %B VMCAI %D 2018 %E Dillig, Isil %E Palsberg, Jens %I Springer %K dblp %P 516-537 %T An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2018.html#TitoloFMM18 %V 10747 %@ 978-3-319-73721-8

@inproceedings{conf/vmcai/TitoloFMM18, added-at = {2018-01-03T00:00:00.000+0100}, author = {Titolo, Laura and Feliú, Marco A. and Moscato, Mariano M. and Muñoz, César A.}, biburl = {https://www.bibsonomy.org/bibtex/22e7c0285443310ae1e3997d6df70d99a/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2018}, editor = {Dillig, Isil and Palsberg, Jens}, ee = {https://doi.org/10.1007/978-3-319-73721-8_24}, interhash = {9787e891fbd9be27c0cd3bd8453faccc}, intrahash = {2e7c0285443310ae1e3997d6df70d99a}, isbn = {978-3-319-73721-8}, keywords = {dblp}, pages = {516-537}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:17:04.000+0200}, title = {An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2018.html#TitoloFMM18}, volume = 10747, year = 2018 }