Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs

Kima: An Automated Error Correction System for Concurrent Logic Programs

Automated Software Engineering

Program Debugging and Validation Using Semantic Approximations and Partial Specifications

ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming

A framework for the integration of partial evaluation and abstract interpretation of logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

Abstraction carrying code and resource-awareness

PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

Science of Computer Programming - Special issue: Static analysis symposium (SAS 2003)

Mechanized metatheory model-checking

Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming

Program development using abstract interpretation (and the ciao system preprocessor)

SAS'03 Proceedings of the 10th international conference on Static analysis

Abstract verification and debugging of constraint logic programs

ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming

Automatic binding-related error diagnosis in logic programs

ICLP'07 Proceedings of the 23rd international conference on Logic programming

Context-sensitive multivariant assertion checking in modular programs

LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning

Interval-Based resource usage verification: formalization and prototype

FOPARA'11 Proceedings of the Second international conference on Foundational and Practical Aspects of Resource Analysis