<?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-00959312</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-20T03:01:24+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Specification of a reactive computation model for OpenMusic</title>
            <author role="crp">
              <persName>
                <forename type="first">Jean</forename>
                <surname>Bresson</surname>
              </persName>
              <email type="md5">87e6a5b04a8d0c040206d3d78824d341</email>
              <email type="domain">ableton.com</email>
              <idno type="idhal" notation="string">jean-bresson</idno>
              <idno type="idhal" notation="numeric">2961</idno>
              <idno type="halauthorid" notation="string">14811-2961</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4986-4013</idno>
              <idno type="IDREF">https://www.idref.fr/110827171</idno>
              <affiliation ref="#struct-410617"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jean-Louis</forename>
                <surname>Giavitto</surname>
              </persName>
              <email type="md5">0913700645f9614fc0b17891d43b61f1</email>
              <email type="domain">ircam.fr</email>
              <idno type="idhal" notation="string">jean-louis-giavitto</idno>
              <idno type="idhal" notation="numeric">2943</idno>
              <idno type="halauthorid" notation="string">8863-2943</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/F-5160-2012</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-3964-9080</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=Doe-IyAAAAAJ&amp;hl=en</idno>
              <idno type="IDREF">https://www.idref.fr/059912979</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/F-5160-2012</idno>
              <idno type="VIAF">https://viaf.org/viaf/203844515</idno>
              <idno type="ISNI">http://isni.org/isni/0000000140789083</idno>
              <affiliation ref="#struct-410617"/>
              <affiliation ref="#struct-185190"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Jean-Louis</forename>
                <surname>Giavitto</surname>
              </persName>
              <email type="md5">0913700645f9614fc0b17891d43b61f1</email>
              <email type="domain">ircam.fr</email>
            </editor>
            <funder ref="#projanr-35548"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2014-03-14 10:50:31</date>
              <date type="whenWritten">2014-03-14</date>
              <date type="whenModified">2025-03-20 03:26:45</date>
              <date type="whenReleased">2014-03-14 11:32:58</date>
              <date type="whenProduced">2014</date>
              <date type="whenEndEmbargoed">2014-03-14</date>
              <ref type="file" target="https://hal.science/hal-00959312v1/document">
                <date notBefore="2014-03-14"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-00959312v1/file/inedit-L3.3.b.pdf" id="file-959312-1125245">
                <date notBefore="2014-03-14"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="120001">
                <persName>
                  <forename>Jean-Louis</forename>
                  <surname>Giavitto</surname>
                </persName>
                <email type="md5">0913700645f9614fc0b17891d43b61f1</email>
                <email type="domain">ircam.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00959312</idno>
            <idno type="halUri">https://hal.science/hal-00959312</idno>
            <idno type="halBibtex">bresson:hal-00959312</idno>
            <idno type="halRefHtml">[Research Report] IRCAM. 2014, pp.17</idno>
            <idno type="halRef">[Research Report] IRCAM. 2014, pp.17</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-959312-1125245"/></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="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="IRCAM">Institut de Recherche et Coordination Acoustique/Musique</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="STMS" corresp="SORBONNE-UNIVERSITE">Sciences et technologies de la musique et du son</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</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="SU-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="ANR">ANR</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">Specification of a reactive computation model for OpenMusic</title>
                <author role="crp">
                  <persName>
                    <forename type="first">Jean</forename>
                    <surname>Bresson</surname>
                  </persName>
                  <email type="md5">87e6a5b04a8d0c040206d3d78824d341</email>
                  <email type="domain">ableton.com</email>
                  <idno type="idhal" notation="string">jean-bresson</idno>
                  <idno type="idhal" notation="numeric">2961</idno>
                  <idno type="halauthorid" notation="string">14811-2961</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4986-4013</idno>
                  <idno type="IDREF">https://www.idref.fr/110827171</idno>
                  <affiliation ref="#struct-410617"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-Louis</forename>
                    <surname>Giavitto</surname>
                  </persName>
                  <email type="md5">0913700645f9614fc0b17891d43b61f1</email>
                  <email type="domain">ircam.fr</email>
                  <idno type="idhal" notation="string">jean-louis-giavitto</idno>
                  <idno type="idhal" notation="numeric">2943</idno>
                  <idno type="halauthorid" notation="string">8863-2943</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/F-5160-2012</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-3964-9080</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=Doe-IyAAAAAJ&amp;hl=en</idno>
                  <idno type="IDREF">https://www.idref.fr/059912979</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/F-5160-2012</idno>
                  <idno type="VIAF">https://viaf.org/viaf/203844515</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000140789083</idno>
                  <affiliation ref="#struct-410617"/>
                  <affiliation ref="#struct-185190"/>
                </author>
              </analytic>
              <monogr>
                <imprint>
                  <biblScope unit="pp">17</biblScope>
                  <date type="datePub">2014</date>
                </imprint>
                <authority type="institution">IRCAM</authority>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Functional Languages</term>
                <term xml:lang="en">Computer-Aided Composition</term>
                <term xml:lang="en">Evaluation Strategy</term>
                <term xml:lang="en">Propagation</term>
                <term xml:lang="en">Reactive Data Flow</term>
                <term xml:lang="en">Visual Programming</term>
              </keywords>
              <classCode scheme="classification">68N15, 68N19, 68Q10</classCode>
              <classCode scheme="halDomain" n="info.info-pl">Computer Science [cs]/Programming Languages [cs.PL]</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>OpenMusic is a domain-specific visual programming language designed for computer-aided music composition. This language based on Common Lisp allows composers to develop functional processes generating or transforming musical data, and to execute them locally by demand-driven evaluations. This transformational declarative paradigm is hard to conciliate with reactive data-flow, an evaluation scheme more adequate to develop interactive systems that can be used during musical performances. In this article we propose to link these two evaluation paradigms in a same and consistent visual programming framework. In this report we establish a denotational semantics of the visual language, which gives account for its demand-driven evaluation mechanism and the incremental construction of programs. We then extend this semantics to enable reactive computations in the functional graphs. The resulting evaluation model merges data-driven executions with the exist- ing demand-driven mechanism. A conservative implementation is proposed. We show that the incremental construction of programs and their data-driven and demand-driven evaluations can be smoothly integrated in the visual programming workflow. This integration allows for the propagation of changes in the programs, and the evaluation of graphically-designed functional expressions as a response to external events, a first step in bridging the gap between computer-assisted composition environments and real-time musical systems. This work has been partially funded by ANR project INEDIT (ANR-12-CORD-0009). The core content of this report will be published in the Journal of Visual Languages and Computing, although we give some additional precisions here that do not appear in the article. The journal version will include a more detailed presentations of the problematic.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-410617" status="OLD">
          <orgName>Représentations musicales</orgName>
          <orgName type="acronym">Repmus</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ircam.fr/repmus.html</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1374" type="direct"/>
            <relation active="#struct-5234" type="indirect"/>
            <relation active="#struct-93591" type="indirect"/>
            <relation name="UMR9912" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-185190" status="OLD">
          <idno type="RNSR">201221013T</idno>
          <orgName>Synchronous Realtime Processing and Programming of Music Signals</orgName>
          <orgName type="acronym">MuTant</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/mutant</ref>
          </desc>
          <listRelation>
            <relation active="#struct-5234" type="direct"/>
            <relation active="#struct-86790" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-93591" type="direct"/>
            <relation active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-1374" status="OLD">
          <idno type="RNSR">198319352N</idno>
          <orgName>Sciences et Technologies de la Musique et du Son</orgName>
          <orgName type="acronym">STMS</orgName>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>1 Place Igor Stravinsky 75004 PARIS</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ircam.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-5234" type="direct"/>
            <relation active="#struct-93591" type="direct"/>
            <relation name="UMR9912" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-5234" status="VALID">
          <idno type="ROR">https://ror.org/0121jnt59</idno>
          <orgName>Institut de Recherche et Coordination Acoustique/Musique</orgName>
          <orgName type="acronym">IRCAM</orgName>
          <desc>
            <address>
              <addrLine>1, place Igor Stravinsky 75004 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ircam.fr/</ref>
          </desc>
        </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>
        <org type="laboratory" xml:id="struct-86790" status="OLD">
          <orgName>Inria Paris-Rocquencourt</orgName>
          <date type="end">2016-03-30</date>
          <desc>
            <address>
              <addrLine>INRIA Rocquencourt : Domaine de Voluceau, Rocquencourt B.P. 105 78153 le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/paris-rocquencourt</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>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-35548" status="VALID">
          <idno type="anr">ANR-12-CORD-0009</idno>
          <idno type="program">Contenus et Interactions</idno>
          <orgName>INEDIT</orgName>
          <desc>INteractivité dans l'Ecriture De l'Interaction et du Temps</desc>
          <date type="start">2012</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>