C++ programming language for an abstract massively parallel SIMD architecture

C++ Standard Template Library by template specialized containers

C++ Templates as Partial Evaluation

CAL: A Language for Aggregating Functional and Extrafunctional Constraints in Streaming Networks

Call-by-value Termination in the Untyped lambda-calculus

Cameleon language Part 1: Processor

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