<?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-01417004</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-25T04:33:57+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Reachability and Error Diagnosis in LR(1) Parsers</title>
            <author role="aut">
              <persName>
                <forename type="first">François</forename>
                <surname>Pottier</surname>
              </persName>
              <idno type="halauthorid">16888-0</idno>
              <affiliation ref="#struct-454413"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>François</forename>
                <surname>Pottier</surname>
              </persName>
              <email type="md5">1659db34d4bad3a87ea68376a7eaf172</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2016-12-15 10:49:58</date>
              <date type="whenModified">2025-07-22 08:34:02</date>
              <date type="whenReleased">2016-12-15 15:00:59</date>
              <date type="whenProduced">2016-03-17</date>
              <date type="whenEndEmbargoed">2016-12-15</date>
              <ref type="file" target="https://inria.hal.science/hal-01417004v1/document">
                <date notBefore="2016-12-15"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01417004v1/file/fpottier-reachability-cc2016.pdf" id="file-1417004-1503065">
                <date notBefore="2016-12-15"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="102429">
                <persName>
                  <forename>François</forename>
                  <surname>Pottier</surname>
                </persName>
                <email type="md5">1659db34d4bad3a87ea68376a7eaf172</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01417004</idno>
            <idno type="halUri">https://inria.hal.science/hal-01417004</idno>
            <idno type="halBibtex">pottier:hal-01417004</idno>
            <idno type="halRefHtml">&lt;i&gt;CC 2016 - 25th International Conference on Compiler Construction&lt;/i&gt;, Mar 2016, Barcelone, Spain. pp.11, &lt;a target="_blank" href="https://dx.doi.org/10.1145/2892208.2892224"&gt;&amp;#x27E8;10.1145/2892208.2892224&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">CC 2016 - 25th International Conference on Compiler Construction, Mar 2016, Barcelone, Spain. pp.11, &amp;#x27E8;10.1145/2892208.2892224&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1417004-1503065"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INRIA-ROCQ">INRIA Paris - Rocquencourt</idno>
            <idno type="stamp" n="GALLIUM">Collection HAL Gallium</idno>
            <idno type="stamp" n="LORIA2">Publications du LORIA</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</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">Reachability and Error Diagnosis in LR(1) Parsers</title>
                <author role="aut">
                  <persName>
                    <forename type="first">François</forename>
                    <surname>Pottier</surname>
                  </persName>
                  <idno type="halauthorid">16888-0</idno>
                  <affiliation ref="#struct-454413"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>CC 2016 - 25th International Conference on Compiler Construction</title>
                  <date type="start">2016-03-17</date>
                  <date type="end">2016-03-18</date>
                  <settlement>Barcelone</settlement>
                  <country key="ES">Spain</country>
                </meeting>
                <imprint>
                  <biblScope unit="serie">Proceedings of the 25th International Conference on Compiler Construction (CC 2016)</biblScope>
                  <biblScope unit="pp">11</biblScope>
                  <date type="datePub">2016-03</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1145/2892208.2892224</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">compilers</term>
                <term xml:lang="en"> reachability</term>
                <term xml:lang="en"> error diagnosis</term>
                <term xml:lang="en"> parsing</term>
              </keywords>
              <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>Given an LR(1) automaton, what are the states in which an error can be detected? For each such " error state " , what is a minimal input sentence that causes an error in this state? We propose an algorithm that answers these questions. This allows building a collection of pairs of an erroneous input sentence and a (handwritten) diagnostic message, ensuring that this collection covers every error state, and maintaining this property as the grammar evolves. We report on an application of this technique to the CompCert ISO C99 parser, and discuss its strengths and limitations.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-454413" status="OLD">
          <idno type="RNSR">200618331D</idno>
          <orgName>Langages de programmation, types, compilation et preuves</orgName>
          <orgName type="acronym">GALLIUM</orgName>
          <date type="start">2016-05-01</date>
          <date type="end">2019-07-31</date>
          <desc>
            <address>
              <addrLine>2 rue Simone Iff -CS 42112 -75589 Paris Cedex 12</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/gallium</ref>
          </desc>
          <listRelation>
            <relation active="#struct-454310" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-454310" status="VALID">
          <idno type="IdRef">241614864</idno>
          <idno type="RNSR">196718247G</idno>
          <idno type="ROR">https://ror.org/05eyd5d35</idno>
          <orgName>Centre Inria de Paris</orgName>
          <date type="start">2016-03-10</date>
          <desc>
            <address>
              <addrLine>48 Rue Barrault, 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/paris</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>