A Generic Abstract Interpretation Algorithm and its Complexity Analysis.

Baudouin Le Charlier, Kaninda Musumbu, Pascal Van Hentenryck

Browse the full ICLP paper archive.