Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/popl/CousotC77
%A Cousot, Patrick
%A Cousot, Radhia
%B POPL
%D 1977
%E Graham, Robert M.
%E Harrison, Michael A.
%E Sethi, Ravi
%I ACM
%K dblp
%P 238-252
%T Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints.
%U http://dblp.uni-trier.de/db/conf/popl/popl77.html#CousotC77
@inproceedings{conf/popl/CousotC77,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Cousot, Patrick and Cousot, Radhia},
biburl = {https://www.bibsonomy.org/bibtex/2cb73395b35c950c2db527e2752bedf15/dblp},
booktitle = {POPL},
cdrom = {POPL/00001447.PDF},
crossref = {conf/popl/77},
editor = {Graham, Robert M. and Harrison, Michael A. and Sethi, Ravi},
ee = {https://doi.org/10.1145/512950.512973},
interhash = {d4172b19832656efd67558ed1a80ccc4},
intrahash = {cb73395b35c950c2db527e2752bedf15},
keywords = {dblp},
pages = {238-252},
publisher = {ACM},
timestamp = {2018-11-07T16:48:19.000+0100},
title = {Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints.},
url = {http://dblp.uni-trier.de/db/conf/popl/popl77.html#CousotC77},
year = 1977
}