TU Darmstadt / ULB / TUbiblio

Termination analysis for functional programs using term orderings

Giesl, Jürgen :
Termination analysis for functional programs using term orderings.
In: International static analysis symposium <2, 1995, Glasgow>: Proceedings. - Berlin, Heidelberg (u.a.):Springer, 1995. S. 154-171 , 983 . Springer , Heidelberg (u.a.)
[Konferenz- oder Workshop-Beitrag], (1995)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 1995
Autor(en): Giesl, Jürgen
Titel: Termination analysis for functional programs using term orderings
Sprache: Englisch
Reihe: International static analysis symposium <2, 1995, Glasgow>: Proceedings. - Berlin, Heidelberg (u.a.):Springer, 1995. S. 154-171
Band: 983
Ort: Heidelberg (u.a.)
Verlag: Springer
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 15:58
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen