Complexity of Data Flow Analysis for Non-Separable Frameworks

Component Programming and Interoperability in Constraint Solver Design

Compositional Semantics for the Procedural Interpretation of Logic

Computer Drawing of Planetary Outlines

Computing Convex Hulls with a Linear Solver

Computing Functional and Relational Box Consistency by Structured Propagation in Atomic Constraint Systems

Computing with Equations

Computing with Hereditarily Finite Sequences

Concept-Oriented Programming

Concepts and their Use for Modelling Objects and References in Programming Languages

Concurrent Goal-Based Execution of Constraint Handling Rules

Conditional Elimination through Code Duplication

Constraint Exploration and Envelope of Simulation Trajectories

Constraint Functional Logic Programming over Finite Domains

Constraint Logic Programming with Hereditary Harrop Formula

Constraint Propagation in Presence of Arrays

Constraint solving for high-level WCET analysis

Constraint solving in non-permutative nominal abstract syntax

Constructing an advanced software tool for planetary atmospheric modeling

Construction of Newcomb Operators on a Digital Computer