12th LOPSTR 2002: Madrid, Spain

Debugging and Types

Tabling and Constraints

Abstract Interpretation

Program Refinement

Verification

Partial Evaluation

Rewriting and Object-Oriented Development

a service of Schloss Dagstuhl - Leibniz Center for Informatics