24th 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

a service of Schloss Dagstuhl - Leibniz Center for Informatics