Abstract Interpretation of Active Rules and its Use in Termination Analysis.

James Bailey, Lobel Crnogorac, Kotagiri Ramamohanarao, Harald Sndergaard

Browse the full ICDT paper archive.