<?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-01574358</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-20T17:42:37+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">The implementation of the Hammurabi system :indexing and interprocess communication</title>
            <author role="aut">
              <persName>
                <forename type="first">Henri</forename>
                <surname>Lesourd</surname>
              </persName>
              <email type="md5">dc47b1f0bc773062dbc81a65bd97bc99</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="numeric">1014662</idno>
              <idno type="halauthorid" notation="string">1045625-1014662</idno>
              <affiliation ref="#struct-408313"/>
            </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">2017-08-14 10:38:06</date>
              <date type="whenModified">2023-04-11 15:16:28</date>
              <date type="whenReleased">2017-08-14 10:38:06</date>
              <date type="whenProduced">1999-12</date>
              <ref type="externalLink" target="https://doi.org/10.1016/s1571-0661(05)80110-0"/>
            </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-01574358</idno>
            <idno type="halUri">https://hal.science/hal-01574358</idno>
            <idno type="halBibtex">lesourd:hal-01574358</idno>
            <idno type="halRefHtml">&lt;i&gt;ICLP Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming&lt;/i&gt;, Dec 1999, Las Cruces, United States. pp.46-66, &lt;a target="_blank" href="https://dx.doi.org/10.1016/S1571-0661(05)80110-0"&gt;&amp;#x27E8;10.1016/S1571-0661(05)80110-0&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">ICLP Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming, Dec 1999, Las Cruces, United States. pp.46-66, &amp;#x27E8;10.1016/S1571-0661(05)80110-0&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </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="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="SU-TI">Sorbonne Université - Texte Intégral</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">The implementation of the Hammurabi system :indexing and interprocess communication</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Henri</forename>
                    <surname>Lesourd</surname>
                  </persName>
                  <email type="md5">dc47b1f0bc773062dbc81a65bd97bc99</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="numeric">1014662</idno>
                  <idno type="halauthorid" notation="string">1045625-1014662</idno>
                  <affiliation ref="#struct-408313"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">ICLP Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming</title>
                <meeting>
                  <title>ICLP Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming</title>
                  <date type="start">1999-12</date>
                  <settlement>Las Cruces</settlement>
                  <country key="US">United States</country>
                </meeting>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="serie">Electronic Notes in Theoretical Computer Science</biblScope>
                  <biblScope unit="volume">30</biblScope>
                  <biblScope unit="issue">3</biblScope>
                  <biblScope unit="pp">46-66</biblScope>
                </imprint>
              </monogr>
              <idno type="doi">10.1016/S1571-0661(05)80110-0</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</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>Hammurabi is a software application designed to help the UNIX system administrator to evaluate better the consequences of the actions he/she carries out, in order to maintain the system and to make it change. In this paper, we describe the implementation of Hammurabi's inference engine. This engine is a multiactor Prolog-like engine. The actors have, on the one hand, the ability to spy the events occurring inside the whole machine (inside the engine, and inside the UNIX OS), and on the other hand, the ability to forbid or to freeze some events. This ability is used as a synchronization mechanism. In the first part of this paper, we describe the data representation. In its second part, we describe the implementation of the spying mechanism.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-408313" status="OLD">
          <orgName>Apprentissage et Acquisition des connaissances</orgName>
          <orgName type="acronym">APA</orgName>
          <date type="start">1997-01-01</date>
          <date type="end">2003-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>