Blättern nach Person
 | Ebene hoch |
Anzahl der Einträge: 5.
1999
Brauburger, Jürgen ; Giesl, J. (1999)
Approximating the domains of functional and imperative programs.
In: Science of computer programming, 35
Artikel, Bibliographie
Brauburger, Jürgen (1999)
Automatic termination analysis for functional and imperative programs.
Technische Universität Darmstadt
Dissertation, Bibliographie
1998
Brauburger, Jürgen ; Giesl, J. (1998)
Termination analysis by inductive evaluation.
Konferenzveröffentlichung, Bibliographie
1997
Brauburger, Jürgen (1997)
Automatic termination analysis for partial functions using polynomial orderings.
Konferenzveröffentlichung, Bibliographie
1996
Brauburger, Jürgen ; Giesl, J. (1996)
Termination analysis for partial functions.
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum