Certified size-change termination (2007)
Cached
Download Links
- [www4.in.tum.de]
- [www4.informatik.tu-muenchen.de]
- DBLP
Other Repositories/Bibliography
by
Alexander Krauss
| Venue: | In Proc. 21st CADE, volume 4603 of LNAI |
| Citations: | 15 - 0 self |
BibTeX
@INPROCEEDINGS{Krauss07certifiedsize-change,
author = {Alexander Krauss},
title = {Certified size-change termination},
booktitle = {In Proc. 21st CADE, volume 4603 of LNAI},
year = {2007},
pages = {460--475},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. 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. 1
