12. LOPSTR 2002: Madrid, Spain

Debugging and Types

Tabling and Constraints

Abstract Interpretation

Program Refinement

Verification

Partial Evaluation

Rewriting and Object-Oriented Development

maintained by Schloss Dagstuhl LZI at University of Trier