TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 5.

Article

Brauburger, Jürgen and Giesl, J. (1999):
Approximating the domains of functional and imperative programs.
In: Science of computer programming, 35pp. 113-136, [Article]

Conference or Workshop Item

Brauburger, Jürgen and Giesl, J. (1998):
Termination analysis by inductive evaluation.
1421In: CADE'98: International Conference on Automated Deduction <15, 1998, Lindau>: Proceedings. Hrsg.: C. Kirchner (u.a.) - Berlin (u.a.): Springer, 1998. S. 254-269, Berlin (u.a.), Springer, [Conference or Workshop Item]

Brauburger, Jürgen (1997):
Automatic termination analysis for partial functions using polynomial orderings.
1302In: International Static Analysis Symposium <4, 1997, Paris, France>: Proceedings. Hrsg.: P. Van Hentenryck. - Berlin, Heidelberg (u.a.): Springer, 1997. S.330-344, Berlin, Heidelberg (u.a.), Springer, [Conference or Workshop Item]

Brauburger, Jürgen and Giesl, J. (1996):
Termination analysis for partial functions.
1145In: International Static Analysis Symposium SAS'96 <3, 1996, Aachen, Germany>: Proceedings. - Berlin (u.a.): Springer, 1996. S. 113-127, Berlin (u.a.), Springer, [Conference or Workshop Item]

Ph.D. Thesis

Brauburger, Jürgen (1999):
Automatic termination analysis for functional and imperative programs.
207Sant Augustin: Infix, 1999. VIII, 244 S,
Sant Augustin, Infix, TU Darmstadt, [Ph.D. Thesis]

This list was generated on Tue Sep 22 00:10:43 2020 CEST.