TU Darmstadt / ULB / TUbiblio

Automated termination analysis for incompletely defined programs

Walther, Christoph ; Schweitzer, Stephan :
Automated termination analysis for incompletely defined programs.
In: Logic for programming, artificial intelligence, and reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14 - 18, 2005; proceedings / Franz Baader ... (ed.). - Berlin ; Heidelberg [u.a.] : Springer, 2005S. 332-346 (Lecture note . Springer , Berlin ; Heidelberg [u.a.]
[Konferenz- oder Workshop-Beitrag], (2005)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2005
Autor(en): Walther, Christoph ; Schweitzer, Stephan
Titel: Automated termination analysis for incompletely defined programs
Sprache: Englisch
Reihe: Logic for programming, artificial intelligence, and reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14 - 18, 2005; proceedings / Franz Baader ... (ed.). - Berlin ; Heidelberg [u.a.] : Springer, 2005S. 332-346 (Lecture note
Ort: Berlin ; Heidelberg [u.a.]
Verlag: Springer
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Fachbereich Informatik > Programmiermethodik
Hinterlegungsdatum: 20 Nov 2008 08:21
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen