Understanding Finiteness Analysis Using Abstract Interpretation.

Peter A. Bigot, Saumya K. Debray, Kim Marriott

Browse the full ICLP paper archive.