Challenges in Developing Useful and Practical Static Analysis for Logic Programs.

Peter Van Roy

Browse the full SAS paper archive.