InforLorV4, PascalFrancis, Corpus, bibRecord, 000848

The ELAN environment: a rewriting logic environment based on ASF+SDF technology: System demonstration

Identifieur interne : 000848 ( PascalFrancis/Corpus ); précédent : 000847; suivant : 000849

The ELAN environment: a rewriting logic environment based on ASF+SDF technology: System demonstration

Auteurs : M. G. J. Van Den Brand ; P.-E. Moreau ; C. Ringeissen

Source :

RBID : Pascal:02-0578581

Descripteurs français

Pascal (Inist)
- Réécriture, Langage spécification, Non déterminisme, Environnement programmation, Spécification formelle, Architecture logiciel, Démonstration système, ELAN language, Composant logiciel.

English descriptors

KwdEn :
- Formal specification, Non determinism, Programming environment, Rewriting, Software architecture, Software component, Specification language.

Notice en format standard (ISO 2709)

Pour connaître la documentation sur le format Inist Standard.

A08	`01`	`1`	`ENG`	`@1 The ELAN environment: a rewriting logic environment based on ASF+SDF technology: System demonstration`
A09	`01`	`1`	`ENG`	`@1 LDTA'02 : language descriptions, tools and applications : Grenoble, 13 April 2002`
A11	`01`	`1`		`@1 VAN DEN BRAND (M. G. J.)`
A11	`02`	`1`		`@1 MOREAU (P.-E.)`
A11	`03`	`1`		`@1 RINGEISSEN (C.)`
A12	`01`	`1`		`@1 VAN DEN BRAND (Mark) @9 ed.`
A12	`02`	`1`		`@1 LAMMEL (Ralf) @9 ed.`
A14	`01`			`@1 Centrum voor Wiskunde en Informatica (CWI), Kruislaan 413 @2 1098 SJ Amsterdam @3 NLD @Z 1 aut.`
A14	`02`			`@1 LORIA-INRIA, 615 rue du Jardin Botanique, BP 101 @2 54602 Villers-lès-Nancy @3 FRA @Z 1 aut. @Z 2 aut. @Z 3 aut.`
A20				`@2 [7 p.]`
A21				`@1 2002`
A23	`01`			`@0 ENG`
A30	`01`	`1`	`ENG`	`@1 Workshop on language descriptions, tools and applications @2 2 @3 Grenoble FRA @4 2002-04-13`
A30	`02`	`1`	`ENG`	`@1 ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshop @3 Grenoble FRA @4 2002-04-13`
A43	`01`			`@1 INIST @2 Y 34145 @5 354000108442080040`
A44				`@0 0000 @1 © 2002 INIST-CNRS. All rights reserved.`
A45				`@0 14 ref.`
A47	`01`	`1`		`@0 02-0578581`
A60				`@1 C`
A61				`@0 A`
A66	`01`			`@0 FRA`
C02	`01`	`X`		`@0 001D02A02`
C03	`01`	`X`	`FRE`	`@0 Réécriture @5 01`
C03	`01`	`X`	`ENG`	`@0 Rewriting @5 01`
C03	`01`	`X`	`SPA`	`@0 Reescritura @5 01`
C03	`02`	`X`	`FRE`	`@0 Langage spécification @5 02`
C03	`02`	`X`	`ENG`	`@0 Specification language @5 02`
C03	`02`	`X`	`SPA`	`@0 Lenguaje especificación @5 02`
C03	`03`	`X`	`FRE`	`@0 Non déterminisme @5 03`
C03	`03`	`X`	`ENG`	`@0 Non determinism @5 03`
C03	`03`	`X`	`SPA`	`@0 No determinismo @5 03`
C03	`04`	`X`	`FRE`	`@0 Environnement programmation @5 04`
C03	`04`	`X`	`ENG`	`@0 Programming environment @5 04`
C03	`04`	`X`	`SPA`	`@0 Medio ambiente programación @5 04`
C03	`05`	`X`	`FRE`	`@0 Spécification formelle @5 05`
C03	`05`	`X`	`ENG`	`@0 Formal specification @5 05`
C03	`05`	`X`	`SPA`	`@0 Especificación formal @5 05`
C03	`06`	`3`	`FRE`	`@0 Architecture logiciel @5 06`
C03	`06`	`3`	`ENG`	`@0 Software architecture @5 06`
C03	`07`	`X`	`FRE`	`@0 Démonstration système @4 INC @5 82`
C03	`08`	`X`	`FRE`	`@0 ELAN language @4 INC @5 83`
C03	`09`	`X`	`FRE`	`@0 Composant logiciel @4 CD @5 96`
C03	`09`	`X`	`ENG`	`@0 Software component @4 CD @5 96`
N21				`@1 343`
N82				`@1 PSI`

Format Inist (serveur)

NO :	PASCAL 02-0578581 INIST
ET :	The ELAN environment: a rewriting logic environment based on ASF+SDF technology: System demonstration
AU :	VAN DEN BRAND (M. G. J.); MOREAU (P.-E.); RINGEISSEN (C.); VAN DEN BRAND (Mark); LAMMEL (Ralf)
AF :	Centrum voor Wiskunde en Informatica (CWI), Kruislaan 413/1098 SJ Amsterdam/Pays-Bas (1 aut.); LORIA-INRIA, 615 rue du Jardin Botanique, BP 101/54602 Villers-lès-Nancy/France (1 aut., 2 aut., 3 aut.)
DT :	Congrès; Niveau analytique
SO :	Workshop on language descriptions, tools and applications/2/2002-04-13/Grenoble FRA; France; Da. 2002; [7 p.]
LA :	Anglais
CC :	001D02A02
FD :	Réécriture; Langage spécification; Non déterminisme; Environnement programmation; Spécification formelle; Architecture logiciel; Démonstration système; ELAN language; Composant logiciel
ED :	Rewriting; Specification language; Non determinism; Programming environment; Formal specification; Software architecture; Software component
SD :	Reescritura; Lenguaje especificación; No determinismo; Medio ambiente programación; Especificación formal
LO :	INIST-Y 34145.354000108442080040
ID :	02-0578581

Links to Exploration step

Pascal:02-0578581

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" level="a">The ELAN environment: a rewriting logic environment based on ASF+SDF technology: System demonstration</title>
<author><name sortKey="Van Den Brand, M G J" sort="Van Den Brand, M G J" uniqKey="Van Den Brand M" first="M. G. J." last="Van Den Brand">M. G. J. Van Den Brand</name>
<affiliation><inist:fA14 i1="01"><s1>Centrum voor Wiskunde en Informatica (CWI), Kruislaan 413</s1>
<s2>1098 SJ Amsterdam</s2>
<s3>NLD</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
</affiliation>
<affiliation><inist:fA14 i1="02"><s1>LORIA-INRIA, 615 rue du Jardin Botanique, BP 101</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Moreau, P E" sort="Moreau, P E" uniqKey="Moreau P" first="P.-E." last="Moreau">P.-E. Moreau</name>
<affiliation><inist:fA14 i1="02"><s1>LORIA-INRIA, 615 rue du Jardin Botanique, BP 101</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Ringeissen, C" sort="Ringeissen, C" uniqKey="Ringeissen C" first="C." last="Ringeissen">C. Ringeissen</name>
<affiliation><inist:fA14 i1="02"><s1>LORIA-INRIA, 615 rue du Jardin Botanique, BP 101</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">INIST</idno>
<idno type="inist">02-0578581</idno>
<date when="2002">2002</date>
<idno type="stanalyst">PASCAL 02-0578581 INIST</idno>
<idno type="RBID">Pascal:02-0578581</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">000848</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en" level="a">The ELAN environment: a rewriting logic environment based on ASF+SDF technology: System demonstration</title>
<author><name sortKey="Van Den Brand, M G J" sort="Van Den Brand, M G J" uniqKey="Van Den Brand M" first="M. G. J." last="Van Den Brand">M. G. J. Van Den Brand</name>
<affiliation><inist:fA14 i1="01"><s1>Centrum voor Wiskunde en Informatica (CWI), Kruislaan 413</s1>
<s2>1098 SJ Amsterdam</s2>
<s3>NLD</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
</affiliation>
<affiliation><inist:fA14 i1="02"><s1>LORIA-INRIA, 615 rue du Jardin Botanique, BP 101</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Moreau, P E" sort="Moreau, P E" uniqKey="Moreau P" first="P.-E." last="Moreau">P.-E. Moreau</name>
<affiliation><inist:fA14 i1="02"><s1>LORIA-INRIA, 615 rue du Jardin Botanique, BP 101</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Ringeissen, C" sort="Ringeissen, C" uniqKey="Ringeissen C" first="C." last="Ringeissen">C. Ringeissen</name>
<affiliation><inist:fA14 i1="02"><s1>LORIA-INRIA, 615 rue du Jardin Botanique, BP 101</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Formal specification</term>
<term>Non determinism</term>
<term>Programming environment</term>
<term>Rewriting</term>
<term>Software architecture</term>
<term>Software component</term>
<term>Specification language</term>
</keywords>
<keywords scheme="Pascal" xml:lang="fr"><term>Réécriture</term>
<term>Langage spécification</term>
<term>Non déterminisme</term>
<term>Environnement programmation</term>
<term>Spécification formelle</term>
<term>Architecture logiciel</term>
<term>Démonstration système</term>
<term>ELAN language</term>
<term>Composant logiciel</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
</TEI>
<inist><standard h6="B"><pA><fA08 i1="01" i2="1" l="ENG"><s1>The ELAN environment: a rewriting logic environment based on ASF+SDF technology: System demonstration</s1>
</fA08>
<fA09 i1="01" i2="1" l="ENG"><s1>LDTA'02 : language descriptions, tools and applications : Grenoble, 13 April 2002</s1>
</fA09>
<fA11 i1="01" i2="1"><s1>VAN DEN BRAND (M. G. J.)</s1>
</fA11>
<fA11 i1="02" i2="1"><s1>MOREAU (P.-E.)</s1>
</fA11>
<fA11 i1="03" i2="1"><s1>RINGEISSEN (C.)</s1>
</fA11>
<fA12 i1="01" i2="1"><s1>VAN DEN BRAND (Mark)</s1>
<s9>ed.</s9>
</fA12>
<fA12 i1="02" i2="1"><s1>LAMMEL (Ralf)</s1>
<s9>ed.</s9>
</fA12>
<fA14 i1="01"><s1>Centrum voor Wiskunde en Informatica (CWI), Kruislaan 413</s1>
<s2>1098 SJ Amsterdam</s2>
<s3>NLD</s3>
<sZ>1 aut.</sZ>
</fA14>
<fA14 i1="02"><s1>LORIA-INRIA, 615 rue du Jardin Botanique, BP 101</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</fA14>
<fA20><s2>[7 p.]</s2>
</fA20>
<fA21><s1>2002</s1>
</fA21>
<fA23 i1="01"><s0>ENG</s0>
</fA23>
<fA30 i1="01" i2="1" l="ENG"><s1>Workshop on language descriptions, tools and applications</s1>
<s2>2</s2>
<s3>Grenoble FRA</s3>
<s4>2002-04-13</s4>
</fA30>
<fA30 i1="02" i2="1" l="ENG"><s1>ETAPS 2002 : European  joint conference on theory and practice of software. Satellite workshop</s1>
<s3>Grenoble FRA</s3>
<s4>2002-04-13</s4>
</fA30>
<fA43 i1="01"><s1>INIST</s1>
<s2>Y 34145</s2>
<s5>354000108442080040</s5>
</fA43>
<fA44><s0>0000</s0>
<s1>© 2002 INIST-CNRS. All rights reserved.</s1>
</fA44>
<fA45><s0>14 ref.</s0>
</fA45>
<fA47 i1="01" i2="1"><s0>02-0578581</s0>
</fA47>
<fA60><s1>C</s1>
</fA60>
<fA61><s0>A</s0>
</fA61>
<fA66 i1="01"><s0>FRA</s0>
</fA66>
<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>Langage spécification</s0>
<s5>02</s5>
</fC03>
<fC03 i1="02" i2="X" l="ENG"><s0>Specification language</s0>
<s5>02</s5>
</fC03>
<fC03 i1="02" i2="X" l="SPA"><s0>Lenguaje especificación</s0>
<s5>02</s5>
</fC03>
<fC03 i1="03" i2="X" l="FRE"><s0>Non déterminisme</s0>
<s5>03</s5>
</fC03>
<fC03 i1="03" i2="X" l="ENG"><s0>Non determinism</s0>
<s5>03</s5>
</fC03>
<fC03 i1="03" i2="X" l="SPA"><s0>No determinismo</s0>
<s5>03</s5>
</fC03>
<fC03 i1="04" i2="X" l="FRE"><s0>Environnement programmation</s0>
<s5>04</s5>
</fC03>
<fC03 i1="04" i2="X" l="ENG"><s0>Programming environment</s0>
<s5>04</s5>
</fC03>
<fC03 i1="04" i2="X" l="SPA"><s0>Medio ambiente programación</s0>
<s5>04</s5>
</fC03>
<fC03 i1="05" i2="X" l="FRE"><s0>Spécification formelle</s0>
<s5>05</s5>
</fC03>
<fC03 i1="05" i2="X" l="ENG"><s0>Formal specification</s0>
<s5>05</s5>
</fC03>
<fC03 i1="05" i2="X" l="SPA"><s0>Especificación formal</s0>
<s5>05</s5>
</fC03>
<fC03 i1="06" i2="3" l="FRE"><s0>Architecture logiciel</s0>
<s5>06</s5>
</fC03>
<fC03 i1="06" i2="3" l="ENG"><s0>Software architecture</s0>
<s5>06</s5>
</fC03>
<fC03 i1="07" i2="X" l="FRE"><s0>Démonstration système</s0>
<s4>INC</s4>
<s5>82</s5>
</fC03>
<fC03 i1="08" i2="X" l="FRE"><s0>ELAN language</s0>
<s4>INC</s4>
<s5>83</s5>
</fC03>
<fC03 i1="09" i2="X" l="FRE"><s0>Composant logiciel</s0>
<s4>CD</s4>
<s5>96</s5>
</fC03>
<fC03 i1="09" i2="X" l="ENG"><s0>Software component</s0>
<s4>CD</s4>
<s5>96</s5>
</fC03>
<fN21><s1>343</s1>
</fN21>
<fN82><s1>PSI</s1>
</fN82>
</pA>
</standard>
<server><NO>PASCAL 02-0578581 INIST</NO>
<ET>The ELAN environment: a rewriting logic environment based on ASF+SDF technology: System demonstration</ET>
<AU>VAN DEN BRAND (M. G. J.); MOREAU (P.-E.); RINGEISSEN (C.); VAN DEN BRAND (Mark); LAMMEL (Ralf)</AU>
<AF>Centrum voor Wiskunde en Informatica (CWI), Kruislaan 413/1098 SJ Amsterdam/Pays-Bas (1 aut.); LORIA-INRIA, 615 rue du Jardin Botanique, BP 101/54602 Villers-lès-Nancy/France (1 aut., 2 aut., 3 aut.)</AF>
<DT>Congrès; Niveau analytique</DT>
<SO>Workshop on language descriptions, tools and applications/2/2002-04-13/Grenoble FRA; France; Da. 2002; [7 p.]</SO>
<LA>Anglais</LA>
<CC>001D02A02</CC>
<FD>Réécriture; Langage spécification; Non déterminisme; Environnement programmation; Spécification formelle; Architecture logiciel; Démonstration système; ELAN language; Composant logiciel</FD>
<ED>Rewriting; Specification language; Non determinism; Programming environment; Formal specification; Software architecture; Software component</ED>
<SD>Reescritura; Lenguaje especificación; No determinismo; Medio ambiente programación; Especificación formal</SD>
<LO>INIST-Y 34145.354000108442080040</LO>
<ID>02-0578581</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 000848 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/PascalFrancis/Corpus/biblio.hfd -nk 000848 | 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-0578581
   |texte=   The ELAN environment: a rewriting logic environment based on ASF+SDF technology: System demonstration
}}

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022

	Serveur d'exploration sur la recherche en informatique en Lorraine
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur la recherche en informatique en Lorraine

The ELAN environment: a rewriting logic environment based on ASF+SDF technology: System demonstration

The ELAN environment: a rewriting logic environment based on ASF+SDF technology: System demonstration

Source :

Descripteurs français

English descriptors

Notice en format standard (ISO 2709)

Format Inist (serveur)

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri