Correctness Kernels of Abstract Interpretations

Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata

Cosmic ray environment model for Earth orbit

Cost effective development of a Shuttle-based astronomical instrument control system

Cove: A Practical Quantum Computer Programming Framework

CPAchecker: A Tool for Configurable Software Verification

CPC: programming with a massive number of lightweight threads

Creating modular and reusable DSL textual syntax definitions with Grammatic/ANTLR

Creating Textual Language Dialects Using Aspect-like Techniques

CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting Resources

CrocoPat 2.1 Introduction and Reference Manual

cTI: A constraint-based termination inference tool for ISO-Prolog

Data-Structure Rewriting

Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell

Decomposing Non-Redundant Sharing by Complementation

Decorated proofs for computational effects: States

Definition and Implementation of a Points-To Analysis for C-like Languages

Demand Analysis with Partial Predicates

Dependent Types for JavaScript

Dependently Typed Programming based on Automated Theorem Proving