Termination analysis for functional programs using term orderings (1995)

Cached

Download Links

by Jürgen Giesl
Venue:IN PROCEEDINGS OF THE SECOND INTERNATIONAL STATIC ANALYSIS SYMPOSIUM, LNCS 983
Citations:31 - 12 self