Executable Analysis using Abstract Interpretation with Circular Linear Progressions.

Rathijit Sen, Y. N. Srikant

Browse the full MEMOCODE paper archive.