{"id":537424,"date":"2018-10-19T03:33:40","date_gmt":"2018-10-19T07:33:40","guid":{"rendered":"https:\/\/ntrs.nasa.gov\/search.jsp?R=20180006290"},"modified":"2018-10-19T03:33:40","modified_gmt":"2018-10-19T07:33:40","slug":"an-abstract-interpretation-framework-for-the-round-off-error-analysis-of-floating-point-programs-stub","status":"publish","type":"post","link":"https:\/\/spaceweekly.com\/?p=537424","title":{"rendered":"An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs [STUB]"},"content":{"rendered":"<p>Abstract: 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 computes, for each combination of ideal and floating-point execution path of the program, a sound over-approximation of the accumulated floating-point round-off error that may occur. In addition, a Boolean expression that characterizes the input values leading to the computed error approximation is also computed. An ab&#8230;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Abstract: 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 computes, for each combination of ideal and floating-point execut&#8230;<\/p>\n","protected":false},"author":60,"featured_media":615444,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-537424","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry"],"_links":{"self":[{"href":"https:\/\/spaceweekly.com\/index.php?rest_route=\/wp\/v2\/posts\/537424","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/spaceweekly.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/spaceweekly.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/spaceweekly.com\/index.php?rest_route=\/wp\/v2\/users\/60"}],"replies":[{"embeddable":true,"href":"https:\/\/spaceweekly.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=537424"}],"version-history":[{"count":1,"href":"https:\/\/spaceweekly.com\/index.php?rest_route=\/wp\/v2\/posts\/537424\/revisions"}],"predecessor-version":[{"id":537425,"href":"https:\/\/spaceweekly.com\/index.php?rest_route=\/wp\/v2\/posts\/537424\/revisions\/537425"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/spaceweekly.com\/index.php?rest_route=\/wp\/v2\/media\/615444"}],"wp:attachment":[{"href":"https:\/\/spaceweekly.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=537424"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/spaceweekly.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=537424"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/spaceweekly.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=537424"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}