ELAN from a rewriting logic point of view
Identifieur interne : 000855 ( PascalFrancis/Corpus ); précédent : 000854; suivant : 000856ELAN from a rewriting logic point of view
Auteurs : Peter Borovansky ; Claude Kirchner ; Hélène Kirchner ; Pierre-Etienne MoreauSource :
- Theoretical computer science [ 0304-3975 ] ; 2002.
Descripteurs français
- Pascal (Inist)
English descriptors
- KwdEn :
Abstract
ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or to describe and execute deterministic as well as non-deterministic rule-based processes. With the general goal to make precise a rewriting logic-based semantics of ELAN, this paper has three contributions: a presentation of the concepts of rules and strategies available in ELAN, an expression of rewrite rules with matching conditions in conditional rewriting logic, and finally an enrichment mechanism of a rewrite theory into a strategy theory in conditional rewriting logic.
Notice en format standard (ISO 2709)
Pour connaître la documentation sur le format Inist Standard.
pA |
|
---|
Format Inist (serveur)
NO : | PASCAL 02-0529487 INIST |
---|---|
ET : | ELAN from a rewriting logic point of view |
AU : | BOROVANSKY (Peter); KIRCHNER (Claude); KIRCHNER (Hélène); MOREAU (Pierre-Etienne); MARTI-OLIET (Narciso); MESEGUER (José) |
AF : | Comenius University, Mlynská dolina/842 15 Bratislava/Slovaquie (1 aut.); LORIA - CNRS & INRIA, BP 239/54506, Vandœuvre-lès-Nancy/France (2 aut., 3 aut., 4 aut.); Facultad de Matematicas, Universidad Complutense/Madrid/Espagne (1 aut.); Computer Science Laboratory, SRI International, 333 Ravenswood Ave./Menlo Park, CA 94025/Etats-Unis (2 aut.) |
DT : | Publication en série; Niveau analytique |
SO : | Theoretical computer science; ISSN 0304-3975; Coden TCSCDI; Pays-Bas; Da. 2002; Vol. 285; No. 2; Pp. 155-185; Bibl. 72 ref. |
LA : | Anglais |
EA : | ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or to describe and execute deterministic as well as non-deterministic rule-based processes. With the general goal to make precise a rewriting logic-based semantics of ELAN, this paper has three contributions: a presentation of the concepts of rules and strategies available in ELAN, an expression of rewrite rules with matching conditions in conditional rewriting logic, and finally an enrichment mechanism of a rewrite theory into a strategy theory in conditional rewriting logic. |
CC : | 001D02A02 |
FD : | Réécriture; Logique; Sémantique; Langage programmation; Théorie stratégie; Programmation basée règle; Système calcul; Système ELAN |
ED : | Rewriting; Logic; Semantics; Programming language |
SD : | Reescritura; Lógica; Semántica; Lenguaje programación |
LO : | INIST-17243.354000104549090020 |
ID : | 02-0529487 |
Links to Exploration step
Pascal:02-0529487Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" level="a">ELAN from a rewriting logic point of view</title>
<author><name sortKey="Borovansky, Peter" sort="Borovansky, Peter" uniqKey="Borovansky P" first="Peter" last="Borovansky">Peter Borovansky</name>
<affiliation><inist:fA14 i1="01"><s1>Comenius University, Mlynská dolina</s1>
<s2>842 15 Bratislava</s2>
<s3>SVK</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Kirchner, Claude" sort="Kirchner, Claude" uniqKey="Kirchner C" first="Claude" last="Kirchner">Claude Kirchner</name>
<affiliation><inist:fA14 i1="02"><s1>LORIA - CNRS & INRIA, BP 239</s1>
<s2>54506, Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Kirchner, Helene" sort="Kirchner, Helene" uniqKey="Kirchner H" first="Hélène" last="Kirchner">Hélène Kirchner</name>
<affiliation><inist:fA14 i1="02"><s1>LORIA - CNRS & INRIA, BP 239</s1>
<s2>54506, Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Moreau, Pierre Etienne" sort="Moreau, Pierre Etienne" uniqKey="Moreau P" first="Pierre-Etienne" last="Moreau">Pierre-Etienne Moreau</name>
<affiliation><inist:fA14 i1="02"><s1>LORIA - CNRS & INRIA, BP 239</s1>
<s2>54506, Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">INIST</idno>
<idno type="inist">02-0529487</idno>
<date when="2002">2002</date>
<idno type="stanalyst">PASCAL 02-0529487 INIST</idno>
<idno type="RBID">Pascal:02-0529487</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">000855</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en" level="a">ELAN from a rewriting logic point of view</title>
<author><name sortKey="Borovansky, Peter" sort="Borovansky, Peter" uniqKey="Borovansky P" first="Peter" last="Borovansky">Peter Borovansky</name>
<affiliation><inist:fA14 i1="01"><s1>Comenius University, Mlynská dolina</s1>
<s2>842 15 Bratislava</s2>
<s3>SVK</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Kirchner, Claude" sort="Kirchner, Claude" uniqKey="Kirchner C" first="Claude" last="Kirchner">Claude Kirchner</name>
<affiliation><inist:fA14 i1="02"><s1>LORIA - CNRS & INRIA, BP 239</s1>
<s2>54506, Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Kirchner, Helene" sort="Kirchner, Helene" uniqKey="Kirchner H" first="Hélène" last="Kirchner">Hélène Kirchner</name>
<affiliation><inist:fA14 i1="02"><s1>LORIA - CNRS & INRIA, BP 239</s1>
<s2>54506, Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Moreau, Pierre Etienne" sort="Moreau, Pierre Etienne" uniqKey="Moreau P" first="Pierre-Etienne" last="Moreau">Pierre-Etienne Moreau</name>
<affiliation><inist:fA14 i1="02"><s1>LORIA - CNRS & INRIA, BP 239</s1>
<s2>54506, Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
</analytic>
<series><title level="j" type="main">Theoretical computer science</title>
<title level="j" type="abbreviated">Theor. comput. sci.</title>
<idno type="ISSN">0304-3975</idno>
<imprint><date when="2002">2002</date>
</imprint>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><title level="j" type="main">Theoretical computer science</title>
<title level="j" type="abbreviated">Theor. comput. sci.</title>
<idno type="ISSN">0304-3975</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Logic</term>
<term>Programming language</term>
<term>Rewriting</term>
<term>Semantics</term>
</keywords>
<keywords scheme="Pascal" xml:lang="fr"><term>Réécriture</term>
<term>Logique</term>
<term>Sémantique</term>
<term>Langage programmation</term>
<term>Théorie stratégie</term>
<term>Programmation basée règle</term>
<term>Système calcul</term>
<term>Système ELAN</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or to describe and execute deterministic as well as non-deterministic rule-based processes. With the general goal to make precise a rewriting logic-based semantics of ELAN, this paper has three contributions: a presentation of the concepts of rules and strategies available in ELAN, an expression of rewrite rules with matching conditions in conditional rewriting logic, and finally an enrichment mechanism of a rewrite theory into a strategy theory in conditional rewriting logic.</div>
</front>
</TEI>
<inist><standard h6="B"><pA><fA01 i1="01" i2="1"><s0>0304-3975</s0>
</fA01>
<fA02 i1="01"><s0>TCSCDI</s0>
</fA02>
<fA03 i2="1"><s0>Theor. comput. sci.</s0>
</fA03>
<fA05><s2>285</s2>
</fA05>
<fA06><s2>2</s2>
</fA06>
<fA08 i1="01" i2="1" l="ENG"><s1>ELAN from a rewriting logic point of view</s1>
</fA08>
<fA09 i1="01" i2="1" l="ENG"><s1>Rewriting logic and its applications</s1>
</fA09>
<fA11 i1="01" i2="1"><s1>BOROVANSKY (Peter)</s1>
</fA11>
<fA11 i1="02" i2="1"><s1>KIRCHNER (Claude)</s1>
</fA11>
<fA11 i1="03" i2="1"><s1>KIRCHNER (Hélène)</s1>
</fA11>
<fA11 i1="04" i2="1"><s1>MOREAU (Pierre-Etienne)</s1>
</fA11>
<fA12 i1="01" i2="1"><s1>MARTI-OLIET (Narciso)</s1>
<s9>ed.</s9>
</fA12>
<fA12 i1="02" i2="1"><s1>MESEGUER (José)</s1>
<s9>ed.</s9>
</fA12>
<fA14 i1="01"><s1>Comenius University, Mlynská dolina</s1>
<s2>842 15 Bratislava</s2>
<s3>SVK</s3>
<sZ>1 aut.</sZ>
</fA14>
<fA14 i1="02"><s1>LORIA - CNRS & INRIA, BP 239</s1>
<s2>54506, Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
</fA14>
<fA15 i1="01"><s1>Facultad de Matematicas, Universidad Complutense</s1>
<s2>Madrid</s2>
<s3>ESP</s3>
<sZ>1 aut.</sZ>
</fA15>
<fA15 i1="02"><s1>Computer Science Laboratory, SRI International, 333 Ravenswood Ave.</s1>
<s2>Menlo Park, CA 94025</s2>
<s3>USA</s3>
<sZ>2 aut.</sZ>
</fA15>
<fA20><s1>155-185</s1>
</fA20>
<fA21><s1>2002</s1>
</fA21>
<fA23 i1="01"><s0>ENG</s0>
</fA23>
<fA43 i1="01"><s1>INIST</s1>
<s2>17243</s2>
<s5>354000104549090020</s5>
</fA43>
<fA44><s0>0000</s0>
<s1>© 2002 INIST-CNRS. All rights reserved.</s1>
</fA44>
<fA45><s0>72 ref.</s0>
</fA45>
<fA47 i1="01" i2="1"><s0>02-0529487</s0>
</fA47>
<fA60><s1>P</s1>
</fA60>
<fA61><s0>A</s0>
</fA61>
<fA64 i1="01" i2="1"><s0>Theoretical computer science</s0>
</fA64>
<fA66 i1="01"><s0>NLD</s0>
</fA66>
<fC01 i1="01" l="ENG"><s0>ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or to describe and execute deterministic as well as non-deterministic rule-based processes. With the general goal to make precise a rewriting logic-based semantics of ELAN, this paper has three contributions: a presentation of the concepts of rules and strategies available in ELAN, an expression of rewrite rules with matching conditions in conditional rewriting logic, and finally an enrichment mechanism of a rewrite theory into a strategy theory in conditional rewriting logic.</s0>
</fC01>
<fC02 i1="01" i2="X"><s0>001D02A02</s0>
</fC02>
<fC03 i1="01" i2="X" l="FRE"><s0>Réécriture</s0>
<s5>01</s5>
</fC03>
<fC03 i1="01" i2="X" l="ENG"><s0>Rewriting</s0>
<s5>01</s5>
</fC03>
<fC03 i1="01" i2="X" l="SPA"><s0>Reescritura</s0>
<s5>01</s5>
</fC03>
<fC03 i1="02" i2="X" l="FRE"><s0>Logique</s0>
<s5>02</s5>
</fC03>
<fC03 i1="02" i2="X" l="ENG"><s0>Logic</s0>
<s5>02</s5>
</fC03>
<fC03 i1="02" i2="X" l="SPA"><s0>Lógica</s0>
<s5>02</s5>
</fC03>
<fC03 i1="03" i2="X" l="FRE"><s0>Sémantique</s0>
<s5>03</s5>
</fC03>
<fC03 i1="03" i2="X" l="ENG"><s0>Semantics</s0>
<s5>03</s5>
</fC03>
<fC03 i1="03" i2="X" l="SPA"><s0>Semántica</s0>
<s5>03</s5>
</fC03>
<fC03 i1="04" i2="X" l="FRE"><s0>Langage programmation</s0>
<s5>04</s5>
</fC03>
<fC03 i1="04" i2="X" l="ENG"><s0>Programming language</s0>
<s5>04</s5>
</fC03>
<fC03 i1="04" i2="X" l="SPA"><s0>Lenguaje programación</s0>
<s5>04</s5>
</fC03>
<fC03 i1="05" i2="X" l="FRE"><s0>Théorie stratégie</s0>
<s4>INC</s4>
<s5>70</s5>
</fC03>
<fC03 i1="06" i2="X" l="FRE"><s0>Programmation basée règle</s0>
<s4>INC</s4>
<s5>71</s5>
</fC03>
<fC03 i1="07" i2="X" l="FRE"><s0>Système calcul</s0>
<s4>INC</s4>
<s5>72</s5>
</fC03>
<fC03 i1="08" i2="X" l="FRE"><s0>Système ELAN</s0>
<s4>INC</s4>
<s5>73</s5>
</fC03>
<fN21><s1>316</s1>
</fN21>
</pA>
</standard>
<server><NO>PASCAL 02-0529487 INIST</NO>
<ET>ELAN from a rewriting logic point of view</ET>
<AU>BOROVANSKY (Peter); KIRCHNER (Claude); KIRCHNER (Hélène); MOREAU (Pierre-Etienne); MARTI-OLIET (Narciso); MESEGUER (José)</AU>
<AF>Comenius University, Mlynská dolina/842 15 Bratislava/Slovaquie (1 aut.); LORIA - CNRS & INRIA, BP 239/54506, Vandœuvre-lès-Nancy/France (2 aut., 3 aut., 4 aut.); Facultad de Matematicas, Universidad Complutense/Madrid/Espagne (1 aut.); Computer Science Laboratory, SRI International, 333 Ravenswood Ave./Menlo Park, CA 94025/Etats-Unis (2 aut.)</AF>
<DT>Publication en série; Niveau analytique</DT>
<SO>Theoretical computer science; ISSN 0304-3975; Coden TCSCDI; Pays-Bas; Da. 2002; Vol. 285; No. 2; Pp. 155-185; Bibl. 72 ref.</SO>
<LA>Anglais</LA>
<EA>ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or to describe and execute deterministic as well as non-deterministic rule-based processes. With the general goal to make precise a rewriting logic-based semantics of ELAN, this paper has three contributions: a presentation of the concepts of rules and strategies available in ELAN, an expression of rewrite rules with matching conditions in conditional rewriting logic, and finally an enrichment mechanism of a rewrite theory into a strategy theory in conditional rewriting logic.</EA>
<CC>001D02A02</CC>
<FD>Réécriture; Logique; Sémantique; Langage programmation; Théorie stratégie; Programmation basée règle; Système calcul; Système ELAN</FD>
<ED>Rewriting; Logic; Semantics; Programming language</ED>
<SD>Reescritura; Lógica; Semántica; Lenguaje programación</SD>
<LO>INIST-17243.354000104549090020</LO>
<ID>02-0529487</ID>
</server>
</inist>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000855 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/PascalFrancis/Corpus/biblio.hfd -nk 000855 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= PascalFrancis |étape= Corpus |type= RBID |clé= Pascal:02-0529487 |texte= ELAN from a rewriting logic point of view }}
This area was generated with Dilib version V0.6.33. |