%0 Conference Paper %1 conf/sas/MidtgaardJ08 %A Midtgaard, Jan %A Jensen, Thomas P. %B SAS %D 2008 %E Alpuente, María %E Vidal, Germán %I Springer %K dblp %P 347-362 %T A Calculational Approach to Control-Flow Analysis by Abstract Interpretation. %U http://dblp.uni-trier.de/db/conf/sas/sas2008.html#MidtgaardJ08 %V 5079 %@ 978-3-540-69163-1

@inproceedings{conf/sas/MidtgaardJ08, added-at = {2017-06-05T00:00:00.000+0200}, author = {Midtgaard, Jan and Jensen, Thomas P.}, biburl = {https://www.bibsonomy.org/bibtex/2c05d88b564f6d50d3707bd2e8b3f7097/dblp}, booktitle = {SAS}, crossref = {conf/sas/2008}, editor = {Alpuente, María and Vidal, Germán}, ee = {https://doi.org/10.1007/978-3-540-69166-2_23}, interhash = {a30c10bb842ce52decd50df7d94e72bb}, intrahash = {c05d88b564f6d50d3707bd2e8b3f7097}, isbn = {978-3-540-69163-1}, keywords = {dblp}, pages = {347-362}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T12:36:43.000+0200}, title = {A Calculational Approach to Control-Flow Analysis by Abstract Interpretation.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2008.html#MidtgaardJ08}, volume = 5079, year = 2008 }