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

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