Sciweavers

Share
CADE
2007
Springer

Certified Size-Change Termination

9 years 10 months ago
Certified Size-Change Termination
We develop a formalization of the Size-Change Principle in Isabelle/HOL and use it to construct formally certified termination proofs for recursive functions automatically.
Alexander Krauss
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2007
Where CADE
Authors Alexander Krauss
Comments (0)
books