2 search results - page 1 / 1 » Complete Sequent Calculi for Induction and Infinite Descent |
48
Voted
LICS
2007
IEEE
15 years 3 months ago
2007
IEEE
171
Voted
POPL
2008
ACM
15 years 10 months ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...