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

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

36 Citations (Scopus)

langue originale	Anglais
titre	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
rédacteurs en chef	Daniel Le Métayer
Editeur	Springer Verlag
Pages	209-212
Nombre de pages	4
ISBN (imprimé)	3540433635, 9783540433637
Les DOIs	https://doi.org/10.1007/3-540-45927-8_15
état	Publié - 1 janv. 2002
Modification externe	Oui
Evénement	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 Durée: 8 avr. 2002 → 12 avr. 2002

Série de publications

Nom	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2305
ISSN (imprimé)	0302-9743
ISSN (Electronique)	1611-3349

Une conférence

Une conférence	11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002
Pays/Territoire	France
La ville	Grenoble
période	8/04/02 → 12/04/02

Accès au document

10.1007/3-540-45927-8_15

Contient cette citation

Goubault, E., Martel, M., & Putot, S. (2002). Asserting the precision of floating-point computations: A simple abstract interpreter. Dans 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 (p. 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. Editeur / 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)).

@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. Dans 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, p. 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).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

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. Dans Le Métayer D, Editeur, 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