%0 Conference Paper %1 conf/cgo/CordesFM09 %A Lokuciejewski, Paul %A Cordes, Daniel %A Falk, Heiko %A Marwedel, Peter %B CGO %D 2009 %I IEEE Computer Society %K dblp %P 136-146 %T A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models. %U http://dblp.uni-trier.de/db/conf/cgo/cgo2009.html#CordesFM09 %@ 978-0-7695-3576-0

@inproceedings{conf/cgo/CordesFM09, added-at = {2023-03-23T00:00:00.000+0100}, author = {Lokuciejewski, Paul and Cordes, Daniel and Falk, Heiko and Marwedel, Peter}, biburl = {https://www.bibsonomy.org/bibtex/20c6fa4fa465d7e58123aa38aee6c96bd/dblp}, booktitle = {CGO}, crossref = {conf/cgo/2009}, ee = {http://dl.acm.org/citation.cfm?id=1545064}, interhash = {34bdcf80b551b1f0bc7e33bf8e935750}, intrahash = {0c6fa4fa465d7e58123aa38aee6c96bd}, isbn = {978-0-7695-3576-0}, keywords = {dblp}, pages = {136-146}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T03:53:13.000+0200}, title = {A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models.}, url = {http://dblp.uni-trier.de/db/conf/cgo/cgo2009.html#CordesFM09}, year = 2009 }