-
Heap-size analysis for assembly programs
Our objective is to propose methods for resource-aware compilation inspired by the implicit complexity community. We consider a small assembly-like language and we... -
The Tapenade Automatic Differentiation tool: principles, model, and specifica...
Tapenade is an Automatic Differentiation tool which, given a Fortran or C code that computes a function, creates a new code that computes its tangent or adjoint... -
TIREX : A textual target-level intermediate representation for virtual execut...
Some environments require several compilers, for instance one for the operating system, supporting the full C/C++ norm, and one for the applications, potentially... -
Programs, Properties, and Data: Exploring the Software Development Trilogy
International audience -
Verification by Testing for Recursive Program Schemes
International audience -
Convex invariant refinement by control node splitting: a heuristic approach
International audience -
The ASTRÉE analyzer
Astrée is an abstract interpretation-based static program analyzer aiming at proving automatically the absence of run time errors in programs written in the C... -
The Size-Change Termination Principle for Constructor Based Languages
24 pages + 6 pages d'appendice -
WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage ...
International audience
