Asserting the precision of floating-point computations: A simple abstract interpreter

Eric Goubault; Matthieu Martel; Sylvie Putot

doi:10.1007/3-540-45927-8_15

Asserting the precision of floating-point computations: A simple abstract interpreter

Eric Goubault
, Matthieu Martel
, Sylvie Putot

LIST-DTSI-SLA CEA

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

36 Citations (Scopus)

Original language	English
Title of host publication	Programming Languages and Systems - 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings
Editors	Daniel Le Métayer
Publisher	Springer Verlag
Pages	209-212
Number of pages	4
ISBN (Print)	3540433635, 9783540433637
DOIs	https://doi.org/10.1007/3-540-45927-8_15
Publication status	Published - 1 Jan 2002
Externally published	Yes
Event	11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 - Grenoble, France Duration: 8 Apr 2002 → 12 Apr 2002

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2305
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002
Country/Territory	France
City	Grenoble
Period	8/04/02 → 12/04/02

Access to Document

10.1007/3-540-45927-8_15

Cite this

Goubault, E., Martel, M., & Putot, S. (2002). Asserting the precision of floating-point computations: A simple abstract interpreter. In D. Le Métayer (Ed.), Programming Languages and Systems - 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings (pp. 209-212). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2305). Springer Verlag. https://doi.org/10.1007/3-540-45927-8_15

Goubault, Eric ; Martel, Matthieu ; Putot, Sylvie. / Asserting the precision of floating-point computations : A simple abstract interpreter. Programming Languages and Systems - 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings. editor / Daniel Le Métayer. Springer Verlag, 2002. pp. 209-212 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{2c8d5fc46a06496789550515af5080e2,

title = "Asserting the precision of floating-point computations: A simple abstract interpreter",

author = "Eric Goubault and Matthieu Martel and Sylvie Putot",

year = "2002",

month = jan,

day = "1",

doi = "10.1007/3-540-45927-8\_15",

language = "English",

isbn = "3540433635",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "209--212",

editor = "\{Le M{\'e}tayer\}, Daniel",

booktitle = "Programming Languages and Systems - 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings",

note = "11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 ; Conference date: 08-04-2002 Through 12-04-2002",

}

Goubault, E, Martel, M & Putot, S 2002, Asserting the precision of floating-point computations: A simple abstract interpreter. in D Le Métayer (ed.), Programming Languages and Systems - 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2305, Springer Verlag, pp. 209-212, 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, 8/04/02. https://doi.org/10.1007/3-540-45927-8_15

Asserting the precision of floating-point computations: A simple abstract interpreter. / Goubault, Eric; Martel, Matthieu; Putot, Sylvie.
Programming Languages and Systems - 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings. ed. / Daniel Le Métayer. Springer Verlag, 2002. p. 209-212 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2305).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Asserting the precision of floating-point computations

T2 - 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002

AU - Goubault, Eric

AU - Martel, Matthieu

AU - Putot, Sylvie

PY - 2002/1/1

Y1 - 2002/1/1

U2 - 10.1007/3-540-45927-8_15

DO - 10.1007/3-540-45927-8_15

M3 - Conference contribution

AN - SCOPUS:84957059299

SN - 3540433635

SN - 9783540433637

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 209

EP - 212

BT - Programming Languages and Systems - 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings

A2 - Le Métayer, Daniel

PB - Springer Verlag

Y2 - 8 April 2002 through 12 April 2002

ER -

Goubault E, Martel M, Putot S. Asserting the precision of floating-point computations: A simple abstract interpreter. In Le Métayer D, editor, Programming Languages and Systems - 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings. Springer Verlag. 2002. p. 209-212. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-45927-8_15