Proving Termination of Tree Manipulating Programs

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75596-8_12 ◽

2007 ◽

pp. 145-161 ◽

Author(s):

Peter Habermehl ◽

Radu Iosif ◽

Adam Rogalewicz ◽

Tomáš Vojnar

Download Full-text