%0 Conference Paper %1 conf/pepm/ImanishiSI18 %A Imanishi, Akifumi %A Suenaga, Kohei %A Igarashi, Atsushi %B PEPM %D 2018 %E Henglein, Fritz %E Ko, Hsiang-Shang %I ACM %K dblp %P 2-14 %T A guess-and-assume approach to loop fusion for program verification. %U http://dblp.uni-trier.de/db/conf/pepm/pepm2018.html#ImanishiSI18 %@ 978-1-4503-5587-2

@inproceedings{conf/pepm/ImanishiSI18, added-at = {2018-11-21T00:00:00.000+0100}, author = {Imanishi, Akifumi and Suenaga, Kohei and Igarashi, Atsushi}, biburl = {https://www.bibsonomy.org/bibtex/25d80d202afa7741b93c84d4f80d6b714/dblp}, booktitle = {PEPM}, crossref = {conf/pepm/2018}, editor = {Henglein, Fritz and Ko, Hsiang-Shang}, ee = {https://doi.org/10.1145/3162070}, interhash = {6fead17facd0af170bb253652859fb4e}, intrahash = {5d80d202afa7741b93c84d4f80d6b714}, isbn = {978-1-4503-5587-2}, keywords = {dblp}, pages = {2-14}, publisher = {ACM}, timestamp = {2018-11-22T11:59:39.000+0100}, title = {A guess-and-assume approach to loop fusion for program verification.}, url = {http://dblp.uni-trier.de/db/conf/pepm/pepm2018.html#ImanishiSI18}, year = 2018 }