Sciweavers

TACAS
2010
Springer
225views Algorithms» more  TACAS 2010»
14 years 5 months ago
Automated Termination Analysis for Programs with Second-Order Recursion
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
Markus Aderhold