Datensatz

DATENSATZ AKTIONENEXPORT

DownloadE-Mail

Lokale TagsFreigabegeschichteDetailsÜbersicht

Efficient Algorithms for Pre$^\star$ and Post$^\star$ on Interprocedural Parallel Flow Graphs

Esparza, J., & Podelski, A. (2000). Efficient Algorithms for Pre$^\star$ and Post$^\star$ on Interprocedural Parallel Flow Graphs. In Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-00) (pp. 1-11). New York, USA: ACM.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-342D-1 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-342E-0

Genre: Konferenzbeitrag

Dateien

einblenden: Dateien

Externe Referenzen

Urheber

ausblenden:

Urheber:
Esparza, Javier¹, Autor
Podelski, Andreas¹, Autor

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Inhalt

Details

ausblenden:

Sprache(n): eng - English

Datum: Geändert: 2010-03-12Erschienen: 2000

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: New York, USA : ACM

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: eDoc: 519793
Anderer: Local-ID: C1256104005ECAFC-A9208369E45B2127C1256A110037E8D1-EsparzaPodelskiPOPL00

Art des Abschluß: -

Veranstaltung

ausblenden:

Titel: Untitled Event

Veranstaltungsort: Boston, Massachusetts, USA

Start-/Enddatum: 2000

Entscheidung

Projektinformation

Quelle 1

ausblenden:

Titel: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-00)

Genre der Quelle: Konferenzband

Urheber:

Affiliations:

Ort, Verlag, Ausgabe: New York, USA : ACM

Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 1 - 11 Identifikator: ISBN: 1-58113-125-9