Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}