Preface

The proceedings contain 19 papers. The special focus in this conference is on Program Analysis and Transformation, Constraint Handling Rules, Termination Analysis, Security and Program Testing and Verification. The topics include: Analyzing array manipulating programs by program transformation; analysing and compiling coroutines with abstract conjunctive partial deduction; confluence modulo equivalence in constraint handling rules; exhaustive execution of CHR through source-to-source transformation; a formal semantics for the cognitive architecture ACT-R; chranimation: an animation tool for constraint handling rules; extending the 2D dependency pair framework for conditional term rewriting systems; partial evaluation for java malware detection; access control and obligations in the category-based metamodel; concolic execution and test case generation in prolog; liveness properties in cafeOBJ - a case study for meta-level specifications; a hybrid method for the verification and synthesis of parameterized self-stabilizing protocols; drill and join:; functional kleene closures; on completeness of logic programs; polynomial approximation to well-founded semantics for logic programs with generalized atoms; declarative compilation for constraint logic programming and pre-indexed terms for prolog.