-
Synthesizing Accurate Floating-Point Formulas
International audience -
Views and program transformations for modular maintenances
Maintenance consumes a large part of the cost of software development which makes the optimization of that cost among the important issues in the world of software... -
A Quest for Exactness: Program Transformation for Reliable Real Numbers
This thesis presents an algorithm that eliminates square root and division operations in some straight-line programs used in embedded systems while preserving the... -
Efficient first order functional program interpreter with time bound certific...
Colloque avec actes et comité de lecture. internationale.
