Automatic Coding Rule Conformance Checking Using Logic Programs

Automatic Hardware Synthesis for a Hybrid Reconfigurable CPU Featuring Philips CPLDs

Automatic Modular Abstractions for Linear Constraints

Automatic modular abstractions for template numerical constraints

Automatic Termination Analysis of Programs Containing Arithmetic Predicates

Automation of a Commercial Astronomical Telescope

Better Termination for Prolog with Constraints

Bijective Term Encodings

Bistable Biorders: A Sequential Domain Theory

Bit Copying - The Ultimate Computational Simplicity

Book review "The Haskell Road to Logic, Maths and Programming"

Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version)

Branching: the Essence of Constraint Solving

Building-Blocks for Performance Oriented DSLs

C++ programming language for an abstract massively parallel SIMD architecture

C++ Standard Template Library by template specialized containers

C++ Templates as Partial Evaluation

CAL: A Language for Aggregating Functional and Extrafunctional Constraints in Streaming Networks

Call-by-value Termination in the Untyped lambda-calculus

Cameleon language Part 1: Processor