MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Esparza, Javier
Podelski, Andreas		dblp
dblp
Editor(s):
BibTeX cite key*:
EsparzaPodelskiPOPL00
Title, Booktitle
Title*:
Efficient Algorithms for Pre$^\star$ and Post$^\star$ on Interprocedural Parallel Flow Graphs
Booktitle*:
Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-00)
Event, URLs
Conference URL::
http://www.research.ibm.com/people/w/wegman/POPL.html
Downloading URL:
Event Address*:
Boston, Massachusetts, USA
Language:
English
Event Date*
(no longer used):
19-21 January 2000
Organization:
ACM
Event Start Date:
15 May 2024
Event End Date:
15 May 2024
Publisher
Name*:
ACM
URL:
http://www.acm.org/pubs/
Address*:
New York, USA
Type:
Vol, No, Year, pp.
Series:
Volume:
Number:
Month:
January
Pages:
1-11
Year*:
2000
VG Wort Pages:
ISBN/ISSN:
1-58113-125-9
Sequence Number:
DOI:
Note, Abstract, ©
Download
Access Level:

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
experts only
Appearance:
MPII WWW Server, university publications list, MPII FTP Server, working group publication list, VG Wort, MPG publications list, Fachbeirat



BibTeX Entry:
@INPROCEEDINGS{EsparzaPodelskiPOPL00,
AUTHOR = {Esparza, Javier and Podelski, Andreas},
 TITLE = {Efficient Algorithms for Pre$^\star$ and Post$^\star$ on Interprocedural Parallel Flow Graphs},
 BOOKTITLE = {Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-00)},
 PUBLISHER = {ACM},
 YEAR = {2000},
 ORGANIZATION = {ACM},
 PAGES = {1--11},
 ADDRESS = {Boston, Massachusetts, USA},
 MONTH = {January},
 ISBN = {1-58113-125-9},
}

Entry last modified by Andreas Podelski, 03/12/2010
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Christine Kiesel		Created
03/16/2001 11:10:40 AM
Revisions
7.
6.
5.
4.
3.		Editor(s)
Andreas Podelski
Christine Kiesel
Uwe Brahm
Uwe Brahm
Uwe Brahm		Edit Dates
29/08/2001 10:23:42
28.08.2001 15:10:05
05/01/2001 03:13:01 PM
05/01/2001 03:12:06 PM
04/04/2001 04:20:35 PM