test_moissonnage_selune
type: Agent

Compositional analysis of floating-point linear numerical filters
type: Distribution
access URL: https://hal.science/hal-00084291
format: HTML
issued: 2026-05-10T10:04:14.419898
modified: 2026-05-10T10:04:14.401371

Compositional analysis of floating-point linear numerical filters
type: Dataset
contact point: Organization
  fn: CCSD
keyword: linear-filters
keyword: floating-point
keyword: digital-filtering
keyword: infoinfo-plcomputer-science-csprogramming-languages-cspl
keyword: infoinfo-nacomputer-science-csnumerical-analysis-csna
keyword: conference-papers
keyword: program-verification
keyword: compositionality
keyword: worst-case-bounds
keyword: infoinfo-ircomputer-science-csinformation-retrieval-csir
keyword: fixed-point
keyword: infoeu-reposemanticsconferenceobject
landing page: 17th International Conference, CAV 2005
description: 14 pages
issued: 2026-05-10T10:04:14.417454
language: en
modified: 2026-05-10T10:04:14.417460