Partial recursive functions in higher-order logic (2006)

by Alexander Krauss
Venue:Int. Joint Conference on Automated Reasoning (IJCAR 2006), LNCS
Citations:12 - 2 self

Active Bibliography

15 Finding lexicographic orders for termination proofs in Isabelle/HOL – Lukas Bulwahn, Er Krauss, Tobias Nipkow - 2007
3 Recursive definitions of monadic functions – Alexander Krauss - 2010
4 Inductive invariants for nested recursion – Sava Krstić, John Matthews - 2003
14 Certified size-change termination – Alexander Krauss - 2007
2 Verification of the Redecoration Algorithm for Triangular Matrices – Ralph Matthes, Martin Strecker - 2007
2 Adapting Functional Programs to Higher-Order Logic – Scott Owens, Konrad Slind
Soundness of a Logic-Based Verification Method for Imperative Loops – Tudor Jebelean
14 A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax – Amy Felty, Alberto Momigliano - 2010
3 Formalising the π-calculus using Nominal Logic – Jesper Bengtson, Joachim Parrow
8 A Step Towards the Mechanization of Partial Functions: Domains as Inductive Predicates – Catherine Dubois, Véronique Viguié Donzeau-Gouge - 1998
4 D.: Partial Clock Functions in ACL2 – John Matthews - 2004
Contents – Alexander Krauss - 2008
Under consideration for publication in Math. Struct. in Comp. Science Partiality and Recursion in Interactive Theorem Provers — An Overview – unknown authors - 2011
33 Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages – Jürgen Giesl, Stephan Swiderski, René Thiemann - 2006
Automated Termination Proofs for Haskell . . . – Jürgen Giesl, Matthias Raffelsieper , Peter Schneider-Kamp, Stephan Swiderski, René Thiemann - 2010
1 How to Compute the Domains of Partial Functions – Jürgen Brauburger - 1997
2 Proving partial correctness of partial functions – Jürgen Giesl - 1996
10 Termination analysis by inductive evaluation – Jürgen Brauburger, Jürgen Giesl - 1998
5 Automatic Termination Analysis for Partial Functions Using Polynomial Orderings – Jürgen Brauburger - 1997