Directional Type Checking of Logic Programs

On the complexity of dataflow analysis of logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

A logical model for relational abstract domains

ACM Transactions on Programming Languages and Systems (TOPLAS)

Directional Type Checking for Logic Programs: Beyond Discriminative Types

ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems

Polymorphic directional types for logic programming

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming

Using parametric set constraints for locating errors in CLP programs

Theory and Practice of Logic Programming

Improving precision of type analysis using non-discriminative union

Theory and Practice of Logic Programming

Checking Emptiness of Non-Deterministic Regular Types with Set Operators

Electronic Notes in Theoretical Computer Science (ENTCS)

Logic programming: from underspecification to undefinedness

CATS '12 Proceedings of the Eighteenth Computing: The Australasian Theory Symposium - Volume 128