Searching for "Termination Analysis for Partial Functions." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Termination Analysis for Partial Functions
- …Termination Analysis for Partial Functions ? Jurgen Brauburger and Jurgen Giesl FB Informatik, TH…
- Cited by 10 (5 self) – Add To MetaCart
-
Automatic Termination Analysis for Partial Functions Using Polynomial Orderings
- …Automatic Termination Analysis for Partial Functions Using Polynomial Orderings ? Jurgen…
- Cited by 5 (3 self) – Add To MetaCart
-
Approximating the Domains of Functional and Imperative Programs
- … with automated termination analysis of partial functional programs, that is, of functional programs which do…
- Cited by 4 (3 self) – Add To MetaCart
-
Termination analysis by inductive evaluation
- …. the appendix. 4 Termination Analysis for Partial Functions Up to now we tried to prove that an algorithm…
- Cited by 6 (4 self) – Add To MetaCart
-
Proving partial correctness of partial functions
- … Termination Analysis for Partial Functions The techniques presented in Section 3 allow us to prove partial…
- Cited by 1 (0 self) – Add To MetaCart
-
Termination analysis for functional programs
- … extend our techniques to termination analysis of partial functions. 2. TERMINATION PROOFS WITH ARGUMENT…
- Cited by 8 (4 self) – Add To MetaCart
-
Partial functions in induction theorem proving
- …Partial Functions in Induction Theorem Proving ? --- Extended Abstract --- Jurgen Giesl Dept…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 7.
