Sardana: an Automatic Tool for Numerical Accuracy Optimization
type: Dataset
description: International audience
issued: 2026-05-18T09:31:49.473324
language: en
modified: 2026-05-18T09:31:49.473330
contact point: Organization
  fn: CCSD
keyword: abstract-interpretation
keyword: code-synthesis
keyword: conference-papers
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-aocomputer-science-cscomputer-arithmetic
keyword: numerical-accuracy
landing page: Scientific Computing, Computer Arithmetic and Validated Numerics

Sardana: an Automatic Tool for Numerical Accuracy Optimization
type: Distribution
format: HTML
issued: 2026-05-18T09:31:49.501644
modified: 2026-05-18T09:31:49.446982
access URL: https://hal.science/hal-00698619

test_moissonnage_selune
type: Agent