<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-00492483</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-09T13:23:08+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Abstract Fixpoint Computations with Numerical Acceleration Methods</title>
            <author role="crp">
              <persName>
                <forename type="first">Olivier</forename>
                <surname>Bouissou</surname>
              </persName>
              <email type="md5">653c407f15022547494b0af1921131d4</email>
              <email type="domain">cea.fr</email>
              <idno type="idhal" notation="numeric">843156</idno>
              <idno type="halauthorid" notation="string">232690-843156</idno>
              <affiliation ref="#struct-40199"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Yassamine</forename>
                <surname>Seladji</surname>
              </persName>
              <email type="md5">49b5f46019e226df6fcad96647234bb3</email>
              <email type="domain">cea.fr</email>
              <idno type="idhal" notation="numeric">872123</idno>
              <idno type="halauthorid" notation="string">470250-872123</idno>
              <affiliation ref="#struct-40199"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Alexandre</forename>
                <surname>Chapoutot</surname>
              </persName>
              <email type="md5">46888827ea2bf7c3fda5a2dc64fbb66a</email>
              <email type="domain">ensta-paris.fr</email>
              <idno type="idhal" notation="string">alexandre-chapoutot</idno>
              <idno type="idhal" notation="numeric">3322</idno>
              <idno type="halauthorid" notation="string">24241-3322</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-7230-0710</idno>
              <idno type="IDREF">https://www.idref.fr/198059833</idno>
              <orgName ref="#struct-300065"/>
              <affiliation ref="#struct-389984"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Alexandre</forename>
                <surname>Chapoutot</surname>
              </persName>
              <email type="md5">46888827ea2bf7c3fda5a2dc64fbb66a</email>
              <email type="domain">ensta-paris.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2010-06-16 10:35:37</date>
              <date type="whenWritten">2010-06-08</date>
              <date type="whenModified">2024-09-03 11:16:04</date>
              <date type="whenReleased">2010-06-16 10:39:17</date>
              <date type="whenProduced">2010-09-13</date>
              <date type="whenEndEmbargoed">2010-06-16</date>
              <ref type="file" target="https://hal.science/hal-00492483v1/document">
                <date notBefore="2010-06-16"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-00492483v1/file/main.pdf" id="file-492483-667744">
                <date notBefore="2010-06-16"/>
              </ref>
              <ref type="externalLink" target="http://arxiv.org/pdf/1006.3159"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="132605">
                <persName>
                  <forename>Alexandre</forename>
                  <surname>Chapoutot</surname>
                </persName>
                <email type="md5">46888827ea2bf7c3fda5a2dc64fbb66a</email>
                <email type="domain">ensta-paris.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00492483</idno>
            <idno type="halUri">https://hal.science/hal-00492483</idno>
            <idno type="halBibtex">bouissou:hal-00492483</idno>
            <idno type="halRefHtml">&lt;i&gt;International Workshop on Numerical and Symbolic Abstract Domains&lt;/i&gt;, Sep 2010, Perpignan, France. pp.29-42, &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.entcs.2010.09.004"&gt;&amp;#x27E8;10.1016/j.entcs.2010.09.004&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">International Workshop on Numerical and Symbolic Abstract Domains, Sep 2010, Perpignan, France. pp.29-42, &amp;#x27E8;10.1016/j.entcs.2010.09.004&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-492483-667744"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CEA">CEA - Commissariat à l'énergie atomique</idno>
            <idno type="stamp" n="UPMC" corresp="SORBONNE-UNIVERSITE">Université Pierre et Marie Curie</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</idno>
            <idno type="stamp" n="DRT" corresp="CEA">Direction de la recherche technologique</idno>
            <idno type="stamp" n="UPMC_POLE_1" corresp="UPMC">UPMC Pôle 1</idno>
            <idno type="stamp" n="LIST" corresp="CEA">Laboratoire d'Intégration des Systèmes et des Technologies</idno>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="SU-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="GS-SPORT-HUMAN-MOVEMENT">Graduate School Sport, Mouvement, Facteurs Humains</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Abstract Fixpoint Computations with Numerical Acceleration Methods</title>
                <author role="crp">
                  <persName>
                    <forename type="first">Olivier</forename>
                    <surname>Bouissou</surname>
                  </persName>
                  <email type="md5">653c407f15022547494b0af1921131d4</email>
                  <email type="domain">cea.fr</email>
                  <idno type="idhal" notation="numeric">843156</idno>
                  <idno type="halauthorid" notation="string">232690-843156</idno>
                  <affiliation ref="#struct-40199"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Yassamine</forename>
                    <surname>Seladji</surname>
                  </persName>
                  <email type="md5">49b5f46019e226df6fcad96647234bb3</email>
                  <email type="domain">cea.fr</email>
                  <idno type="idhal" notation="numeric">872123</idno>
                  <idno type="halauthorid" notation="string">470250-872123</idno>
                  <affiliation ref="#struct-40199"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Alexandre</forename>
                    <surname>Chapoutot</surname>
                  </persName>
                  <email type="md5">46888827ea2bf7c3fda5a2dc64fbb66a</email>
                  <email type="domain">ensta-paris.fr</email>
                  <idno type="idhal" notation="string">alexandre-chapoutot</idno>
                  <idno type="idhal" notation="numeric">3322</idno>
                  <idno type="halauthorid" notation="string">24241-3322</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-7230-0710</idno>
                  <idno type="IDREF">https://www.idref.fr/198059833</idno>
                  <orgName ref="#struct-300065"/>
                  <affiliation ref="#struct-389984"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>International Workshop on Numerical and Symbolic Abstract Domains</title>
                  <date type="start">2010-09-13</date>
                  <settlement>Perpignan</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint>
                  <biblScope unit="volume">267</biblScope>
                  <biblScope unit="issue">1</biblScope>
                  <biblScope unit="pp">29-42</biblScope>
                  <date type="datePub">2010</date>
                </imprint>
              </monogr>
              <idno type="arxiv">1006.3159</idno>
              <idno type="doi">10.1016/j.entcs.2010.09.004</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-pl">Computer Science [cs]/Programming Languages [cs.PL]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Static analysis by abstract interpretation aims at automatically proving properties of computer programs. To do this, an over-approximation of program semantics, defined as the least fixpoint of a system of semantic equations, must be computed. To enforce the convergence of this computation, widening operator is used but it may lead to coarse results. We propose a new method to accelerate the computation of this fixpoint by using standard techniques of numerical analysis. Our goal is to automatically and dynamically adapt the widening operator in order to maintain precision.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-40199" status="VALID">
          <orgName>Laboratoire Modélisation et Analyse de Systèmes en Interaction</orgName>
          <orgName type="acronym">LMeASI</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation name="DRT/LIST" active="#struct-40217" type="direct"/>
            <relation name="DRT/LIST" active="#struct-440043" type="indirect"/>
            <relation name="DRT" active="#struct-300016" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-389984" status="OLD">
          <orgName>Performance et Qualité des Algorithmes Numériques</orgName>
          <orgName type="acronym">PEQUAN</orgName>
          <date type="start">2004-01-01</date>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-233" type="direct"/>
            <relation active="#struct-93591" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-40217" status="VALID">
          <idno type="IdRef">156836882</idno>
          <idno type="ISNI">0000 0004 0405 1788</idno>
          <idno type="RNSR">200118591H</idno>
          <idno type="ROR">https://ror.org/000dbcc61</idno>
          <idno type="Wikidata">Q30299467</idno>
          <orgName>Laboratoire d'Intégration des Systèmes et des Technologies</orgName>
          <orgName type="acronym">LIST (CEA)</orgName>
          <desc>
            <address>
              <addrLine>DRT/LISTNano-INNOVAvenue de la Vauve91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-list.cea.fr/</ref>
          </desc>
          <listRelation>
            <relation name="DRT/LIST" active="#struct-440043" type="direct"/>
            <relation name="DRT" active="#struct-300016" type="indirect"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-440043" status="VALID">
          <idno type="IdRef">067087930</idno>
          <idno type="ISNI">0000000121157881</idno>
          <idno type="RNSR">199018589D</idno>
          <idno type="ROR">https://ror.org/02ggzyd20</idno>
          <idno type="Wikidata">Q30299418</idno>
          <orgName>Direction de Recherche Technologique (CEA)</orgName>
          <orgName type="acronym">DRT (CEA)</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.drt-cea.com/</ref>
          </desc>
          <listRelation>
            <relation name="DRT" active="#struct-300016" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300016" status="VALID">
          <idno type="IdRef">026372061</idno>
          <idno type="ISNI">0000000122998025</idno>
          <idno type="ROR">https://ror.org/00jjx8s55</idno>
          <idno type="Wikidata">Q868550</idno>
          <orgName>Commissariat à l'énergie atomique et aux énergies alternatives</orgName>
          <orgName type="acronym">CEA</orgName>
          <desc>
            <address>
              <addrLine>Centre de SaclayCentre de GrenobleCentre de Cadaracheetc</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.cea.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-233" status="OLD">
          <idno type="RNSR">199712651U</idno>
          <idno type="ROR">https://ror.org/05krcen59</idno>
          <orgName>Laboratoire d'Informatique de Paris 6</orgName>
          <orgName type="acronym">LIP6</orgName>
          <date type="start">1997-01-01</date>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>4 Place JUSSIEU 75252 PARIS CEDEX 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lip6.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-93591" type="direct"/>
            <relation name="UMR7606" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-93591" status="OLD">
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Université Pierre et Marie Curie - Paris 6</orgName>
          <orgName type="acronym">UPMC</orgName>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>4 place Jussieu - 75005 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.upmc.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>