An abstract interpretation framework for the round-off error analysis of floating-point programs

L Titolo, MA Feliú, M Moscato, CA Muñoz - … Angeles, CA, USA, January 7-9 …, 2018 - Springer
This paper presents an abstract interpretation framework for the round-off error analysis of
floating-point programs. This framework defines a parametric abstract analysis that …
被引用次数：81 相关文章
[PDF] github.io

[PDF][PDF] An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs

L Titolo, MA Feliú, M Moscato, CA Munoz - lauratitolo.github.io
This paper presents an abstract interpretation framework for the round-off error analysis of
floating-point programs. This framework defines a parametric abstract analysis that …
[PDF] core.ac.uk

[PDF][PDF] An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs

L Titolo, MA Feliú, M Moscato, CA Munoz - core.ac.uk
This paper presents an abstract interpretation framework for the round-off error analysis of
floating-point programs. This framework defines a parametric abstract analysis that …

An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs

L Titolo, MA Feliú, M Moscato, CA Munoz - Verification, Model Checking, and … - Springer
This paper presents an abstract interpretation framework for the round-off error analysis of
floating-point programs. This framework defines a parametric abstract analysis that …
[PDF] nasa.gov

[PDF][PDF] An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs

L Titolo, MA Feliú, M Moscato, CA Munoz - shemesh.larc.nasa.gov
This paper presents an abstract interpretation framework for the round-off error analysis of
floating-point programs. This framework defines a parametric abstract analysis that …

[引用][C] An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs

L Titolo, MA Feliú, M Moscato, CA Muñoz - Lecture Notes in Computer …, 2017 - cir.nii.ac.jp
An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point
Programs | CiNii Research CiNii 国立情報学研究所 学術情報ナビゲータ[サイニィ] 詳細へ移動 検索 …

An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs

MA Feliu, M Moscato, CA Munoz - International Conference on …, 2018 - ntrs.nasa.gov
This paper presents an abstract interpretation framework for the round-off error analysis of
floating-point programs. This framework defines a parametric abstract analysis that …