A practical type analysis for verification of modular prolog programs.

Pawel Pietrzak, Jess Correas, Germn Puebla, Manuel V. Hermenegildo

Browse the full PEPM paper archive.