A New Abstract Domain for the Representation of Mathematically Equivalent Expressions
type: Dataset
description: International audience
issued: 2026-05-18T08:57:06.557942
language: en
modified: 2026-05-18T08:57:06.557959
contact point: Organization
  fn: CCSD
keyword: abstract-interpretation
keyword: ation
keyword: code-synthesis
keyword: conference-papers
keyword: floating-point-arithmetic
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-aocomputer-science-cscomputer-arithmetic
keyword: numerical-accuracy
keyword: program-transfor
keyword: static-analysis
landing page: 19th International Static Analysis Symposium

A New Abstract Domain for the Representation of Mathematically Equivalent Expressions
type: Distribution
format: HTML
issued: 2026-05-18T08:57:06.590677
modified: 2026-05-18T08:57:06.529502
access URL: https://hal.science/hal-00698618

test_moissonnage_selune
type: Agent