Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Proving that programs eventually do something good

Cook, B., Gotsman, A., Podelski, A., Rybalchenko, A., & Vardi, M. (2007). Proving that programs eventually do something good. In M. Hofmann, & M. Felleisen (Eds.), Conference Record of POPL® 2007: The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (pp. 265-276). New York, USA: ACM.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2068-6 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2069-4
Genre: Konferenzbeitrag

Dateien

einblenden: Dateien
ausblenden: Dateien
:
Rybalchenko2.pdf (beliebiger Volltext), 5KB
 
Datei-Permalink:
-
Name:
Rybalchenko2.pdf
Beschreibung:
-
OA-Status:
Sichtbarkeit:
Privat
MIME-Typ / Prüfsumme:
application/pdf
Technische Metadaten:
Copyright Datum:
-
Copyright Info:
-
Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Cook, Byron, Autor
Gotsman, Alexey, Autor
Podelski, Andreas1, Autor           
Rybalchenko, Andrey1, Autor           
Vardi, Moshe, Autor
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2008-03-072007
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: New York, USA : ACM
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 356677
DOI: 10.1145/1190216.1190257
Anderer: Local-ID: C12573CC004A8E26-F0CC8AA9A7B40F8AC12572A2007E1277-Rybalchenko2007POPL
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Nice, France
Start-/Enddatum: 2007-03-18 - 2007-03-18

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Conference Record of POPL® 2007 : The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Genre der Quelle: Konferenzband
 Urheber:
Hofmann, Martin, Herausgeber
Felleisen, Matthias, Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: New York, USA : ACM
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 265 - 276 Identifikator: ISBN: 1-59593-575-4