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

Fractal Symbolic Analysis

From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine

From Self-Interpreters to Normalization by Evaluation

From Single-thread to Multithreaded: An Efficient Static Analysis Algorithm

From Syntactic Theories to Interpreters: A Specification Language and Its Compilation

Full abstraction for nominal general references

Function call overhead benchmarks with MATLAB, Octave, Python, Cython and C

Function Interface Models for Hardware Compilation: Types, Signatures, Protocols

Functional Logic Programming with Generalized Circular Coinduction