<?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-02545666</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-22T14:52:25+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">BBFoc</title>
            <title xml:lang="fr">BBFoc</title>
            <author role="aut">
              <persName>
                <forename type="first">Stéphane</forename>
                <surname>Fechter</surname>
              </persName>
              <idno type="halauthorid">1185027-0</idno>
              <affiliation ref="#struct-408316"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Olivier</forename>
                <surname>Boite</surname>
              </persName>
              <idno type="halauthorid">894726-0</idno>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Lip6</forename>
                <surname>Publications</surname>
              </persName>
              <email type="md5">48f930374cf1d03f2eafeaae16bb5814</email>
              <email type="domain">lip6.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2020-04-17 11:48:04</date>
              <date type="whenModified">2023-04-11 15:16:28</date>
              <date type="whenReleased">2020-04-20 14:19:31</date>
              <date type="whenProduced">2004-05-04</date>
              <date type="whenEndEmbargoed">2020-04-17</date>
              <ref type="file" target="https://hal.science/hal-02545666v1/document">
                <date notBefore="2020-04-17"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-02545666v1/file/lip6.2004.002.pdf" id="file-2545666-2413042">
                <date notBefore="2020-04-17"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="196566">
                <persName>
                  <forename>Lip6</forename>
                  <surname>Publications</surname>
                </persName>
                <email type="md5">48f930374cf1d03f2eafeaae16bb5814</email>
                <email type="domain">lip6.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02545666</idno>
            <idno type="halUri">https://hal.science/hal-02545666</idno>
            <idno type="halBibtex">fechter:hal-02545666</idno>
            <idno type="halRefHtml">[Rapport de recherche] lip6.2004.002, LIP6. 2004</idno>
            <idno type="halRef">[Rapport de recherche] lip6.2004.002, LIP6. 2004</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-2545666-2413042"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <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="LARA">LARA</idno>
            <idno type="stamp" n="UPMC_POLE_1" corresp="UPMC">UPMC Pôle 1</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="LIP6-REPORT" corresp="LIP6">Rapports LIP6</idno>
            <idno type="stamp" n="SU-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
          </seriesStmt>
          <notesStmt>
            <note type="report" n="6">Research Report</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">BBFoc</title>
                <title xml:lang="fr">BBFoc</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Stéphane</forename>
                    <surname>Fechter</surname>
                  </persName>
                  <idno type="halauthorid">1185027-0</idno>
                  <affiliation ref="#struct-408316"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Olivier</forename>
                    <surname>Boite</surname>
                  </persName>
                  <idno type="halauthorid">894726-0</idno>
                </author>
              </analytic>
              <monogr>
                <idno type="reportNumber">lip6.2004.002</idno>
                <imprint>
                  <date type="datePub">2004-05-04</date>
                </imprint>
                <authority type="institution">LIP6</authority>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">oriented object language</term>
                <term xml:lang="en">carrier type</term>
                <term xml:lang="en">collections</term>
                <term xml:lang="en">species</term>
                <term xml:lang="en">type soundness</term>
                <term xml:lang="en">typing</term>
                <term xml:lang="en">semantics</term>
                <term xml:lang="en">inheritance</term>
                <term xml:lang="fr">type support</term>
                <term xml:lang="fr">collections</term>
                <term xml:lang="fr">espèce</term>
                <term xml:lang="fr">sûreté du typage</term>
                <term xml:lang="fr">typage</term>
                <term xml:lang="fr">semantique</term>
                <term xml:lang="fr">héritage</term>
                <term xml:lang="fr">langage orienté objet</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halTypology" n="REPORT">Reports</classCode>
              <classCode scheme="halOldTypology" n="REPORT">Reports</classCode>
              <classCode scheme="halTreeTypology" n="REPORT.RESREPORT">Reports - Research report</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>This article describes a model for a programmation and algebraic structure  specification language for the computer algebra. This model have an object  oriented aspect, and a new notion of carrier type for handled entities. This  article describe the mechanised proof of the type soundness of the model with the Coq system.&lt;Towards_a_formal_def.ps&gt;&lt;bbfoc.ps&gt;</p>
            </abstract>
            <abstract xml:lang="fr">
              <p>Cet article décrit un modèle d'un langage de programmation et de spécifications de structures algébriques pour le calcul formel. Ce modèle comporte un aspect orienté objet, et une notion nouvelle de type support pour les entités manipulées. L'article décrit la preuve mécanisée de la sûreté du typage du modèle avec le système coq.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-408316" status="OLD">
          <orgName>Sémantiques, preuves et implantation</orgName>
          <orgName type="acronym">SPI</orgName>
          <date type="start">1997-01-01</date>
          <date type="end">2011-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-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>