Author:

Keywords:

Constraint Handling Rules, program analysis, optimized compilation, Science & Technology, Technology, Computer Science, Theory & Methods, Computer Science

Abstract:

This is a summary of the Ph.D. thesis of Tom Schrijvers. Constraint Handling Rules (CHR) is a rule-based language commonly embedded in a host language. It combines elements of Constraint Logic Programming and term rewriting. Several implementations of CHR exist: in Prolog, Haskell, Java and HAL. Typical applications of CHR are in the area of constraint solving, but currently CHR is also used in a wider range of applications, such as type checking, natural language processing and multi-agent systems. In this work we contribute program analyses, program optimizations and extensions of the CHR language.