ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm

Extended Report: The Implicit Calculus

Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming

Extending Prolog with Incomplete Fuzzy Information

Extending scientific computing system with structural quantum programming capabilities

Extensible Pattern Matching in an Extensible Language

Extensible type checker for parser generation

Extensional Higher-Order Logic Programming

Ezhil: A Tamil Programming Language

Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC

Fast Frequent Querying with Lazy Control Flow Compilation

Fast Recompilation of Object Oriented Modules

Field-Sensitive Value Analysis of Embedded C Programs with Union Types and Pointer Arithmetics

Fingerprinting Logic Programs

Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version

Flavor: A Language for Media Representation

Flux: FunctionaL Updates for XML (extended report)

FORAY-GEN: Automatic Generation of Affine Functions for Memory Optimizations

ForOpenCL: Transformations Exploiting Array Syntax in Fortran for Accelerator Programming

Forward slicing of functional logic programs by partial evaluation