#### Filter Results:

- Full text PDF available (32)

#### Publication Year

1991

2018

- This year (4)
- Last 5 years (25)
- Last 10 years (38)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Marc Gengler, Matthieu Martel
- PEPM
- 1997

In this paper, we are interested in self-applicable partial evaluation for the pi-calculus, a language which models the concurrent behavior of communicating processes. We use the classic three-stepsâ€¦ (More)

- Matthieu Martel
- SAS
- 2007

Floating-point arithmetic is an important source of errors in programs because of the loss of precision arising during a computation. Unfortunately, this arithmetic is not intuitive (e.g. manyâ€¦ (More)

- Matthieu Martel
- VMCAI
- 2005

Interval computations, stochastic arithmetic, automatic differentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few comparative studiesâ€¦ (More)

- Eric Goubault, Matthieu Martel, Sylvie Putot
- ESOP
- 2002

interpreter for threat detection and test case generation. In Proceedings of WAPATVâ€™01 (ICSEâ€™01), May 2001. [5] G. Hanrot, V. Lefevre, F. Rouillier, and P. Zimmermann. The MPFR library. Institut deâ€¦ (More)

- Matthieu Martel
- ESOP
- 2002

We introduce a concrete semantics for floating-point operations which describes the propagation of roundoff errors throughout a computation. This semantics is used to assert the correctness of anâ€¦ (More)

- Olivier Bouissou, Matthieu Martel
- 12th GAMM - IMACS International Symposium onâ€¦
- 2006

In this article, we describe a new library for computing guaranteed bounds of the solutions of Initial Value Problems (IVP). Given an initial value problem and an end point, our library computes aâ€¦ (More)

- Arnault Ioualalen, Matthieu Martel
- SAS
- 2012

Exact computations being in general not tractable for computers, they are approximated by floating-point computations. This is the source of many errors in numerical programs. Because theâ€¦ (More)

We present a new method for solving the fixed point equations that appear in the static analysis of programs by abstract interpretation. We introduce and analyze a policy iteration algorithm forâ€¦ (More)

Starting with our work on the characterization of the imprecision error in programs using floating-point-numbers, by abstract interpretation, this paper shows that there are numerous perspectives, ifâ€¦ (More)

- Matthieu Martel
- Higher-Order and Symbolic Computation
- 2006

We introduce a concrete semantics for floating-point operations which describes the propagation of roundoff errors throughout a calculation. This semantics is used to assert the correctness of aâ€¦ (More)