Deutsch
 
Benutzerhandbuch Datenschutzhinweis Impressum Kontakt
  DetailsucheBrowse

Datensatz

 
 
DownloadE-Mail
  Transition predicate abstraction and fair termination

Podelski, A., & Rybalchenko, A. (2005). Transition predicate abstraction and fair termination. In Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005 (pp. 124-139). New York, USA: ACM.

Item is

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: http://hdl.handle.net/11858/00-001M-0000-000F-2820-4 Versions-Permalink: http://hdl.handle.net/11858/00-001M-0000-000F-2821-2
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Podelski, Andreas1, Autor              
Rybalchenko, Andrey1, Autor              
Palsberg, Jens, Herausgeber
Abadi, Martín, Herausgeber
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - Englisch
 Datum: 2005-04-272005
 Publikationsstatus: Im Druck publiziert
 Seiten: -
 Ort, Verlag, Ausgabe: New York, USA : ACM
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 279118
Anderer: Local-ID: C1256104005ECAFC-57767FAFB6FB6779C1256FC00041E44D-PodelskiRybalchenkoPOPL2005
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Long Beach, CA, USA
Start-/Enddatum: 2005-01-12

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: New York, USA : ACM
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 124 - 139 Identifikator: ISBN: 1-58113-830-X