Analyzing recursive programs using a fixed-point calculus.

Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato

Browse the full PLDI paper archive.