Termination Analysis with Types is More Accurate (2003)

View PDF

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:16 - 5 self