Implementing parallel rewriting
Identifieur interne : 00DF46 ( Main/Merge ); précédent : 00DF45; suivant : 00DF47Implementing parallel rewriting
Auteurs : Claude Kirchner [France] ; Patrick Viry [France]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: Rewriting is a computation paradigm that allows to implement directly an equational specification (eg. an abstract data type). Much work has been done about theoretical aspects of rewriting, which has made this technique of practical interest for programming. The next step is now to provide an efficient implementation. We present in this paper an implementation technique of rewriting on any loosely-coupled parallel architectures. Restricted to one processor, its efficiency is in the same order of magnitude as those of functional languages such as interpreted LISP or ML, and we expect an almost linear increase of the efficiency when increasing the number of processors. This approach allows parallel execution of programs directly from their equationally axiomatized specification, without having at all to explicit the potential parallelism, thus providing a simple and precise operational semantics.
Url:
DOI: 10.1007/3-540-55425-4_5
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 000A61
- to stream Istex, to step Curation: 000A55
- to stream Istex, to step Checkpoint: 003009
Links to Exploration step
ISTEX:2D76A305B703B45C85C4FED536671F279534DA81Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Implementing parallel rewriting</title><author><name sortKey="Kirchner, Claude" sort="Kirchner, Claude" uniqKey="Kirchner C" first="Claude" last="Kirchner">Claude Kirchner</name></author><author><name sortKey="Viry, Patrick" sort="Viry, Patrick" uniqKey="Viry P" first="Patrick" last="Viry">Patrick Viry</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:2D76A305B703B45C85C4FED536671F279534DA81</idno><date when="1992" year="1992">1992</date><idno type="doi">10.1007/3-540-55425-4_5</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-Z7GL0Z8M-0/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">000A61</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000A61</idno><idno type="wicri:Area/Istex/Curation">000A55</idno><idno type="wicri:Area/Istex/Checkpoint">003009</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">003009</idno><idno type="wicri:doubleKey">0302-9743:1992:Kirchner C:implementing:parallel:rewriting</idno><idno type="wicri:Area/Main/Merge">00DF46</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Implementing parallel rewriting</title><author><name sortKey="Kirchner, Claude" sort="Kirchner, Claude" uniqKey="Kirchner C" first="Claude" last="Kirchner">Claude Kirchner</name><affiliation wicri:level="3"><country xml:lang="fr">France</country><wicri:regionArea>INRIA Lorraine & CRIN, 615 Rue du Jardin Botanique, BP101, 54600, Villers les Nancy</wicri:regionArea><placeName><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region><settlement type="city">Villers les Nancy</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author><author><name sortKey="Viry, Patrick" sort="Viry, Patrick" uniqKey="Viry P" first="Patrick" last="Viry">Patrick Viry</name><affiliation wicri:level="3"><country xml:lang="fr">France</country><wicri:regionArea>INRIA Lorraine & CRIN, 615 Rue du Jardin Botanique, BP101, 54600, Villers les Nancy</wicri:regionArea><placeName><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region><settlement type="city">Villers les Nancy</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><title level="s" type="abbrev">Lect Notes Comput Sci</title><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: Rewriting is a computation paradigm that allows to implement directly an equational specification (eg. an abstract data type). Much work has been done about theoretical aspects of rewriting, which has made this technique of practical interest for programming. The next step is now to provide an efficient implementation. We present in this paper an implementation technique of rewriting on any loosely-coupled parallel architectures. Restricted to one processor, its efficiency is in the same order of magnitude as those of functional languages such as interpreted LISP or ML, and we expect an almost linear increase of the efficiency when increasing the number of processors. This approach allows parallel execution of programs directly from their equationally axiomatized specification, without having at all to explicit the potential parallelism, thus providing a simple and precise operational semantics.</div></front></TEI></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00DF46 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 00DF46 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Merge
|type= RBID
|clé= ISTEX:2D76A305B703B45C85C4FED536671F279534DA81
|texte= Implementing parallel rewriting
}}
| This area was generated with Dilib version V0.6.33. |  |