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

Contents of COMP6411 Summer 2011 Final Reports on Comparative Studies of Programming Languages

Context-Oriented Programming: A Programming Paradigm for Autonomic Systems

Contextual equivalence for higher-order pi-calculus revisited

Continuation-Passing C, compiling threads to events through continuations

Contracts for Abstract Processes in Service Composition

Contracts in distributed systems