-
JBInsTrace: A Tracer of Java and JRE Classes at Basic-Block Granularity by Dy...
International audience -
Logic Programming Environments: Dynamic Program Analysis and Debugging
Programming environments are essential for the acceptance of programming languages. This survey emphasizes that program analysis, both static and dynamic, is the... -
Streamlining Policy Creation In Policy Frameworks
International audience -
Program Analysis Scenarios In Rascal
An invited paper for WRLA 2012, describing our work on program analysis and comparing our approach to approaches based on rewriting logic semantics. -
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
