Termination Analysis with Types is More Accurate (2003)

Cached

Download Links

by Vitaly Lagoon , Fred Mesnard , Peter J. Stuckey
Venue:In ICLP 2003: Proceedings of the 19th International Conference on Logic Programming, C. Palamidessi, Ed. Lecture Notes in Computer Science
Citations:11 - 3 self