24. LOPSTR 2014: Canterbury, UK

Program Analysis and Transformation

Constraint Handling Rules

Termination Analysis

Security

Program Testing and Verification

Program Synthesis

Program Derivation

Semantic Issues in Logic Programming

Program Transformation and Optimization

maintained by Schloss Dagstuhl LZI at University of Trier