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

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