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/popl/EsparzaP00
%A Esparza, Javier
%A Podelski, Andreas
%B POPL
%D 2000
%E Wegman, Mark N.
%E Reps, Thomas W.
%I ACM
%K dblp
%P 1-11
%T Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs.
%U http://dblp.uni-trier.de/db/conf/popl/popl2000.html#EsparzaP00
%@ 1-58113-125-9
@inproceedings{conf/popl/EsparzaP00,
added-at = {2021-04-09T00:00:00.000+0200},
author = {Esparza, Javier and Podelski, Andreas},
biburl = {https://www.bibsonomy.org/bibtex/2e34064dc544fb0be7b11f7d6b858557f/dblp},
booktitle = {POPL},
crossref = {conf/popl/2000},
editor = {Wegman, Mark N. and Reps, Thomas W.},
ee = {https://doi.org/10.1145/325694.325697},
interhash = {94261836ef660f84ad3af8e4ba019efa},
intrahash = {e34064dc544fb0be7b11f7d6b858557f},
isbn = {1-58113-125-9},
keywords = {dblp},
pages = {1-11},
publisher = {ACM},
timestamp = {2024-04-10T12:28:40.000+0200},
title = {Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs.},
url = {http://dblp.uni-trier.de/db/conf/popl/popl2000.html#EsparzaP00},
year = 2000
}