Canonical Abstract Syntax Trees

Casting of the WAM as an EAM

Catching the Ouroboros: On Debugging Non-ground Answer-Set Programs

Causality and the semantics of provenance

Cause Clue Clauses: Error Localization using Maximum Satisfiability

Certificate size reduction in Abstraction-Carrying Code

Certifying and reasoning on cost annotations of functional programs

Certifying cost annotations in compilers

CFA2: a Context-Free Approach to Control-Flow Analysis

Channels as Objects in Concurrent Object-Oriented Programming

Checking C++ Programs for Dimensional Consistency

Checking modes of HAL programs

CHR as grammar formalism. A first report

CHR(PRISM)-based Probabilistic Logic Learning

CLAIRE: Combining Sets, Search And Rules To Better Express Algorithms

CLP Approaches to 2D Angle Placements

CLP versus LS on Log-based Reconciliation Problems

Coding Guidelines for Prolog

Coinductive big-step operational semantics

Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas