CLAIRE: Combining Sets, Search And Rules To Better Express Algorithms

CLP Approaches to 2D Angle Placements

CLP versus LS on Log-based Reconciliation Problems

Coding Guidelines for Prolog

Coinductive big-step operational semantics

Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas

Combining Logic Programs and Monadic Second Order Logics by Program Transformation

Combining Propagation Information and Search Tree Visualization using ILOG OPL Studio

Compact Symbolic Execution

Comparative Studies of 10 Programming Languages within 10 Diverse Criteria - a Team 10 COMP6411-S10 Term Report

Comparative Studies of 10 Programming Languages within 10 Diverse Criteria -- a Team 7 COMP6411-S10 Term Report

Comparative Studies of Programming Languages; Course Lecture Notes

Comparative study of the Pros and Cons of Programming languages Java, Scala, C++, Haskell, VB .NET, AspectJ, Perl, Ruby, PHP & Scheme - a Team 11 COMP6411-S10 Term Report

Comparing Selected Criteria of Programming Languages Java, PHP, C++, Perl, Haskell, AspectJ, Ruby, COBOL, Bash Scripts and Scheme Revision 1.0 - a Team CPLgroup COMP6411-S10 Term Report

Comparing the expressive power of the Synchronous and the Asynchronous pi-calculus

Compilation of extended recursion in call-by-value functional languages

Compiler Optimization: A Case for the Transformation Tool Contest

Compiling ER Specifications into Declarative Programs

Compiling Language Definitions: The ASF+SDF Compiler

Compiling Signal Processing Code embedded in Haskell via LLVM