{"id":"https://openalex.org/W4410153069","doi":"https://doi.org/10.1109/access.2025.3567762","title":"ForBac: A Static Analysis Approach With Forward and Backward Analysis for Precision in Floating-Point Computations","display_name":"ForBac: A Static Analysis Approach With Forward and Backward Analysis for Precision in Floating-Point Computations","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4410153069","doi":"https://doi.org/10.1109/access.2025.3567762"},"language":"en","primary_location":{"id":"doi:10.1109/access.2025.3567762","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2025.3567762","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1109/access.2025.3567762","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078853116","display_name":"M.G. Thushara","orcid":"https://orcid.org/0000-0002-8325-1491"},"institutions":[{"id":"https://openalex.org/I81556334","display_name":"Amrita Vishwa Vidyapeetham","ror":"https://ror.org/03am10p12","country_code":"IN","type":"education","lineage":["https://openalex.org/I81556334"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"M. G. Thushara","raw_affiliation_strings":["Department of Computer Science and Applications, Amrita School of Computing, Amrita Vishwa Vidyapeetham, Amritapuri, Kollam, India","Department of Computer Science & Applications, Amrita School of Computing, Amrita Vishwa Vidyapeetham, Amritapuri, India"],"raw_orcid":"https://orcid.org/0000-0002-8325-1491","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Applications, Amrita School of Computing, Amrita Vishwa Vidyapeetham, Amritapuri, Kollam, India","institution_ids":["https://openalex.org/I81556334"]},{"raw_affiliation_string":"Department of Computer Science & Applications, Amrita School of Computing, Amrita Vishwa Vidyapeetham, Amritapuri, India","institution_ids":["https://openalex.org/I81556334"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026730702","display_name":"K. Somasundaram","orcid":"https://orcid.org/0000-0003-2226-1845"},"institutions":[{"id":"https://openalex.org/I81556334","display_name":"Amrita Vishwa Vidyapeetham","ror":"https://ror.org/03am10p12","country_code":"IN","type":"education","lineage":["https://openalex.org/I81556334"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"K. Somasundaram","raw_affiliation_strings":["Department of Mathematics, Amrita School of Physical Sciences, Amrita Vishwa Vidyapeetham, Coimbatore, India"],"raw_orcid":"https://orcid.org/0000-0003-2226-1845","affiliations":[{"raw_affiliation_string":"Department of Mathematics, Amrita School of Physical Sciences, Amrita Vishwa Vidyapeetham, Coimbatore, India","institution_ids":["https://openalex.org/I81556334"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I81556334"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.10050572,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"13","issue":null,"first_page":"80705","last_page":"80722"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9871000051498413,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9871000051498413,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10339","display_name":"Advanced Numerical Methods in Computational Mathematics","score":0.9635999798774719,"subfield":{"id":"https://openalex.org/subfields/2206","display_name":"Computational Mechanics"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10792","display_name":"Matrix Theory and Algorithms","score":0.9592000246047974,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6821975111961365},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6724295616149902},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.47421908378601074},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.47117263078689575},{"id":"https://openalex.org/keywords/floating-point","display_name":"Floating point","score":0.4250071048736572},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3553122878074646},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17656299471855164}],"concepts":[{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6821975111961365},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6724295616149902},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.47421908378601074},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.47117263078689575},{"id":"https://openalex.org/C84211073","wikidata":"https://www.wikidata.org/wiki/Q117879","display_name":"Floating point","level":2,"score":0.4250071048736572},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3553122878074646},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17656299471855164},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2025.3567762","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2025.3567762","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:6101355d9aa142bd9fa035e5883fc27c","is_oa":true,"landing_page_url":"https://doaj.org/article/6101355d9aa142bd9fa035e5883fc27c","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 13, Pp 80705-80722 (2025)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2025.3567762","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2025.3567762","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W1526045365","https://openalex.org/W1611084195","https://openalex.org/W1755257908","https://openalex.org/W1977336460","https://openalex.org/W1993255342","https://openalex.org/W1995574761","https://openalex.org/W2004998716","https://openalex.org/W2015368796","https://openalex.org/W2043100293","https://openalex.org/W2081810835","https://openalex.org/W2084875723","https://openalex.org/W2103953062","https://openalex.org/W2155963553","https://openalex.org/W2204310803","https://openalex.org/W2226528584","https://openalex.org/W2292537122","https://openalex.org/W2498604609","https://openalex.org/W2566629575","https://openalex.org/W2748956697","https://openalex.org/W2797985644","https://openalex.org/W2885062192","https://openalex.org/W2892459365","https://openalex.org/W2902657696","https://openalex.org/W2982434053","https://openalex.org/W3019407550","https://openalex.org/W3087788272","https://openalex.org/W3093698634","https://openalex.org/W3100198463","https://openalex.org/W3106836616","https://openalex.org/W3185228140","https://openalex.org/W4220807116","https://openalex.org/W4385218397","https://openalex.org/W4390756096","https://openalex.org/W4393406699","https://openalex.org/W4394862968","https://openalex.org/W4399851697","https://openalex.org/W4404031074","https://openalex.org/W4404149959","https://openalex.org/W4404496482","https://openalex.org/W6861985554","https://openalex.org/W6947998462"],"related_works":["https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W4409439182","https://openalex.org/W2151320244","https://openalex.org/W2053286651","https://openalex.org/W4231775656","https://openalex.org/W2181743346","https://openalex.org/W2187401768","https://openalex.org/W2046435967","https://openalex.org/W2120056071"],"abstract_inverted_index":{"Accuracy":[0],"in":[1,10,30,113],"floating-point":[2,52,68,111],"computations":[3,69],"is":[4],"critical":[5],"for":[6,109],"reliable":[7],"software,":[8],"especially":[9],"systems":[11],"where":[12],"precision":[13,23,53,102],"impacts":[14],"safety":[15],"and":[16,22,35,57,82],"performance.":[17],"Inaccuracies":[18],"from":[19],"rounding":[20],"errors":[21],"loss":[24],"can":[25],"lead":[26],"to":[27,50,71,89],"significant":[28],"issues":[29],"applications":[31],"like":[32],"scientific":[33],"computing":[34],"engineering":[36],"simulations.":[37],"To":[38],"address":[39],"these":[40],"challenges,":[41],"we":[42],"introduce":[43],"ForBac,":[44],"a":[45,106],"static":[46],"analysis":[47,59],"model":[48],"designed":[49],"enhance":[51],"by":[54],"combining":[55],"forward":[56],"backward":[58],"techniques.":[60],"This":[61],"dual":[62],"approach":[63],"improves":[64,101],"the":[65],"accuracy":[66,91],"of":[67],"compared":[70],"traditional":[72],"methods.":[73],"We":[74],"evaluated":[75],"ForBac":[76,98],"on":[77],"standard":[78],"benchmarks,":[79],"including":[80],"Newton-Raphson":[81],"Jacobi":[83],"Iteration":[84],"methods,":[85],"demonstrating":[86],"its":[87],"ability":[88],"maintain":[90],"across":[92],"complex":[93],"computations.":[94],"Results":[95],"show":[96],"that":[97],"not":[99],"only":[100],"but":[103],"also":[104],"offers":[105],"scalable":[107],"solution":[108],"analyzing":[110],"operations":[112],"varied":[114],"computational":[115],"contexts.":[116]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-05-08T00:00:00"}