%0 Conference Paper %1 conf/pldi/AntoniadisTS17 %A Antoniadis, Tony %A Triantafyllou, Konstantinos %A Smaragdakis, Yannis %B SOAP@PLDI %D 2017 %E Ali, Karim %E Cifuentes, Cristina %I ACM %K dblp %P 25-30 %T Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses. %U http://dblp.uni-trier.de/db/conf/pldi/soap2017.html#AntoniadisTS17 %@ 978-1-4503-5072-3

@inproceedings{conf/pldi/AntoniadisTS17, added-at = {2018-11-06T00:00:00.000+0100}, author = {Antoniadis, Tony and Triantafyllou, Konstantinos and Smaragdakis, Yannis}, biburl = {https://www.bibsonomy.org/bibtex/223cf49a9bcb5ffd1312cd0493a37d00c/dblp}, booktitle = {SOAP@PLDI}, crossref = {conf/pldi/2017soap}, editor = {Ali, Karim and Cifuentes, Cristina}, ee = {https://doi.org/10.1145/3088515.3088522}, interhash = {db3ac3abf66a2d681bb22a352820ac67}, intrahash = {23cf49a9bcb5ffd1312cd0493a37d00c}, isbn = {978-1-4503-5072-3}, keywords = {dblp}, pages = {25-30}, publisher = {ACM}, timestamp = {2018-11-07T13:54:15.000+0100}, title = {Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses.}, url = {http://dblp.uni-trier.de/db/conf/pldi/soap2017.html#AntoniadisTS17}, year = 2017 }