Preface
Identifieur interne : 003809 ( Istex/Corpus ); précédent : 003808; suivant : 003810Preface
Auteurs : José MeseguerSource :
- Electronic Notes in Theoretical Computer Science [ 1571-0661 ] ; 1996.
English descriptors
- Teeft :
- Ample time, Asilomar conference center, August, Cafe language, Carolyn talcott stanford university, Christian lengauer passau, Cindio, Cindio universit, Clavel, Complutense, Concurrency, Concurrency aspects, Discrete event simulation, Electronic notes, Elsevier, Excellent work, Fellow programme committee members, Fiorella, Front matter, Futatsugi, Invaluable assistance, Judith burgess, Kirchner, Kokichi, Kokichi futatsugi japan, Latest developments, Lengauer, Logic languages, Manuel clavel, Mart, Martin wirsing, Menlo park, Meseguer, Metalogical, Milano, Montanari, Montanari universit, Narciso, Narciso mart, National security agency, Naval research, Oliet, Oliet universidad complutense, Panel discussions, Panelist, Passau, Pisa, Program committee, Programme, Programme committee fiorella, Refereed, Refereeing, Refereeing process, Research directions, Rich view, Semantic foundations, September, Several papers, Special thanks, Strong emphasis, Talcott, Technology claude kirchner, Theoretical computer science preface volume, Tutorial, Universidad, Universit, Volume number science laboratory, Wirsing.
Abstract
Abstract: This volume constitutes the proceedings of the First International Workshop on Rewriting Logic and its Applications, held at the Asilomar Conference Center, Pacific Grove, California, September 3--6, 1996. There are three invited papers by Narciso Martí-Oliet, Ugo Montanari, and Martin Wirsing, and seventeen contributed papers selected by the Program Committee among the submitted papers. They give a rich view of the latest developments and research directions in the field of rewriting logic and its different applications to computing. Besides work on models and on concurrency aspects, there are several papers describing the different rewriting logic languages developed so far in Europe and the US, as well as a paper on semantic foundations for the Cafe language in Japan. There are also several papers on logical and metalogical specification; on reflection and strategies; on applications to object-oriented design, specification and programming; and on applications to constraint solving, to real-time systems, and to discrete event simulation. Besides the papers, the workshop's program has placed strong emphasis on facilitating in-depth discussion of the topics by allowing ample time for the discussion of each paper, by including five panel discussions on specific topics, and by scheduling a tutorial at the beginning of the workshop. I wish to thank all the panelists for having contributed to making the workshop a very stimulating scientific dialogue. I wish to thank my fellow Programme Committee members and those who assisted them in the refereeing process. Each submitted paper was refereed by at least three persons. Thanks to their efforts we have a volume of high-quality contributions. Programme Committee Fiorella De Cindio Università di Milano Kokichi Futatsugi Japan Advanced Institute of Science and Technology Claude Kirchner INRIA-Lorraine and CRIN-CNRS Christian Lengauer Universität Passau Narciso Martí-Oliet Universidad Complutense de Madrid José Meseguer (Chair) SRI International Ugo Montanari Università di Pisa Carolyn Talcott Stanford University The workshop has been supported by the US Office of Naval Research and by the US National Security Agency through the ONR Grant N00014-96-1-0824. SRI International's Computer Science Laboratory has also contributed resources needed in the preparation of the workshop. All this support is gratefully acknowledged. Manuel Clavel and Narciso Martí-Oliet have provided invaluable assistance in the preparation of the text of these proceedings. Without them you would not hold this volume in your hands, nor could you browse it on your screen. Judith Burgess deserves very special thanks for her excellent work in all aspects of the workshop's organization. Menlo Park, California, August 1996 José Meseguer
Url:
DOI: 10.1016/S1571-0661(05)80563-8
Links to Exploration step
ISTEX:EA429E127458A697245F9172E975C3B497A34157Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title>Preface</title><author><name sortKey="Meseguer, Jose" sort="Meseguer, Jose" uniqKey="Meseguer J" first="José" last="Meseguer">José Meseguer</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:EA429E127458A697245F9172E975C3B497A34157</idno><date when="2000" year="2000">2000</date><idno type="doi">10.1016/S1571-0661(05)80563-8</idno><idno type="url">https://api.istex.fr/ark:/67375/6H6-SRT16LSV-B/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">003809</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">003809</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a">Preface</title><author><name sortKey="Meseguer, Jose" sort="Meseguer, Jose" uniqKey="Meseguer J" first="José" last="Meseguer">José Meseguer</name></author></analytic><monogr></monogr><series><title level="j">Electronic Notes in Theoretical Computer Science</title><title level="j" type="abbrev">ENTCS</title><idno type="ISSN">1571-0661</idno><imprint><publisher>ELSEVIER</publisher><date type="published" when="1996">1996</date><biblScope unit="volume">4</biblScope><biblScope unit="supplement">C</biblScope><biblScope unit="page" from="424">424</biblScope><biblScope unit="page" to="425">425</biblScope></imprint><idno type="ISSN">1571-0661</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">1571-0661</idno></seriesStmt></fileDesc><profileDesc><textClass><keywords scheme="Teeft" xml:lang="en"><term>Ample time</term><term>Asilomar conference center</term><term>August</term><term>Cafe language</term><term>Carolyn talcott stanford university</term><term>Christian lengauer passau</term><term>Cindio</term><term>Cindio universit</term><term>Clavel</term><term>Complutense</term><term>Concurrency</term><term>Concurrency aspects</term><term>Discrete event simulation</term><term>Electronic notes</term><term>Elsevier</term><term>Excellent work</term><term>Fellow programme committee members</term><term>Fiorella</term><term>Front matter</term><term>Futatsugi</term><term>Invaluable assistance</term><term>Judith burgess</term><term>Kirchner</term><term>Kokichi</term><term>Kokichi futatsugi japan</term><term>Latest developments</term><term>Lengauer</term><term>Logic languages</term><term>Manuel clavel</term><term>Mart</term><term>Martin wirsing</term><term>Menlo park</term><term>Meseguer</term><term>Metalogical</term><term>Milano</term><term>Montanari</term><term>Montanari universit</term><term>Narciso</term><term>Narciso mart</term><term>National security agency</term><term>Naval research</term><term>Oliet</term><term>Oliet universidad complutense</term><term>Panel discussions</term><term>Panelist</term><term>Passau</term><term>Pisa</term><term>Program committee</term><term>Programme</term><term>Programme committee fiorella</term><term>Refereed</term><term>Refereeing</term><term>Refereeing process</term><term>Research directions</term><term>Rich view</term><term>Semantic foundations</term><term>September</term><term>Several papers</term><term>Special thanks</term><term>Strong emphasis</term><term>Talcott</term><term>Technology claude kirchner</term><term>Theoretical computer science preface volume</term><term>Tutorial</term><term>Universidad</term><term>Universit</term><term>Volume number science laboratory</term><term>Wirsing</term></keywords></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: This volume constitutes the proceedings of the First International Workshop on Rewriting Logic and its Applications, held at the Asilomar Conference Center, Pacific Grove, California, September 3--6, 1996. There are three invited papers by Narciso Martí-Oliet, Ugo Montanari, and Martin Wirsing, and seventeen contributed papers selected by the Program Committee among the submitted papers. They give a rich view of the latest developments and research directions in the field of rewriting logic and its different applications to computing. Besides work on models and on concurrency aspects, there are several papers describing the different rewriting logic languages developed so far in Europe and the US, as well as a paper on semantic foundations for the Cafe language in Japan. There are also several papers on logical and metalogical specification; on reflection and strategies; on applications to object-oriented design, specification and programming; and on applications to constraint solving, to real-time systems, and to discrete event simulation. Besides the papers, the workshop's program has placed strong emphasis on facilitating in-depth discussion of the topics by allowing ample time for the discussion of each paper, by including five panel discussions on specific topics, and by scheduling a tutorial at the beginning of the workshop. I wish to thank all the panelists for having contributed to making the workshop a very stimulating scientific dialogue. I wish to thank my fellow Programme Committee members and those who assisted them in the refereeing process. Each submitted paper was refereed by at least three persons. Thanks to their efforts we have a volume of high-quality contributions. Programme Committee Fiorella De Cindio Università di Milano Kokichi Futatsugi Japan Advanced Institute of Science and Technology Claude Kirchner INRIA-Lorraine and CRIN-CNRS Christian Lengauer Universität Passau Narciso Martí-Oliet Universidad Complutense de Madrid José Meseguer (Chair) SRI International Ugo Montanari Università di Pisa Carolyn Talcott Stanford University The workshop has been supported by the US Office of Naval Research and by the US National Security Agency through the ONR Grant N00014-96-1-0824. SRI International's Computer Science Laboratory has also contributed resources needed in the preparation of the workshop. All this support is gratefully acknowledged. Manuel Clavel and Narciso Martí-Oliet have provided invaluable assistance in the preparation of the text of these proceedings. Without them you would not hold this volume in your hands, nor could you browse it on your screen. Judith Burgess deserves very special thanks for her excellent work in all aspects of the workshop's organization. Menlo Park, California, August 1996 José Meseguer</div></front></TEI><istex><corpusName>elsevier</corpusName><keywords><teeft><json:string>meseguer</json:string><json:string>narciso</json:string><json:string>narciso mart</json:string><json:string>oliet</json:string><json:string>montanari</json:string><json:string>several papers</json:string><json:string>programme</json:string><json:string>universit</json:string><json:string>fiorella</json:string><json:string>electronic notes</json:string><json:string>wirsing</json:string><json:string>martin wirsing</json:string><json:string>program committee</json:string><json:string>rich view</json:string><json:string>latest developments</json:string><json:string>research directions</json:string><json:string>concurrency</json:string><json:string>concurrency aspects</json:string><json:string>menlo park</json:string><json:string>logic languages</json:string><json:string>semantic foundations</json:string><json:string>cafe language</json:string><json:string>metalogical</json:string><json:string>discrete event simulation</json:string><json:string>strong emphasis</json:string><json:string>ample time</json:string><json:string>panel discussions</json:string><json:string>tutorial</json:string><json:string>panelist</json:string><json:string>asilomar conference center</json:string><json:string>fellow programme committee members</json:string><json:string>refereeing</json:string><json:string>refereeing process</json:string><json:string>refereed</json:string><json:string>theoretical computer science preface volume</json:string><json:string>programme committee fiorella</json:string><json:string>cindio</json:string><json:string>september</json:string><json:string>cindio universit</json:string><json:string>milano</json:string><json:string>kokichi</json:string><json:string>futatsugi</json:string><json:string>kokichi futatsugi japan</json:string><json:string>kirchner</json:string><json:string>technology claude kirchner</json:string><json:string>lengauer</json:string><json:string>passau</json:string><json:string>christian lengauer passau</json:string><json:string>universidad</json:string><json:string>complutense</json:string><json:string>oliet universidad complutense</json:string><json:string>montanari universit</json:string><json:string>pisa</json:string><json:string>talcott</json:string><json:string>carolyn talcott stanford university</json:string><json:string>naval research</json:string><json:string>national security agency</json:string><json:string>front matter</json:string><json:string>elsevier</json:string><json:string>volume number science laboratory</json:string><json:string>clavel</json:string><json:string>manuel clavel</json:string><json:string>invaluable assistance</json:string><json:string>judith burgess</json:string><json:string>special thanks</json:string><json:string>excellent work</json:string><json:string>august</json:string><json:string>mart</json:string></teeft></keywords><author><json:item><name>José Meseguer</name></json:item></author><arkIstex>ark:/67375/6H6-SRT16LSV-B</arkIstex><language><json:string>eng</json:string></language><originalGenre><json:string>Full-length article</json:string></originalGenre><abstract>Abstract: This volume constitutes the proceedings of the First International Workshop on Rewriting Logic and its Applications, held at the Asilomar Conference Center, Pacific Grove, California, September 3--6, 1996. There are three invited papers by Narciso Martí-Oliet, Ugo Montanari, and Martin Wirsing, and seventeen contributed papers selected by the Program Committee among the submitted papers. They give a rich view of the latest developments and research directions in the field of rewriting logic and its different applications to computing. Besides work on models and on concurrency aspects, there are several papers describing the different rewriting logic languages developed so far in Europe and the US, as well as a paper on semantic foundations for the Cafe language in Japan. There are also several papers on logical and metalogical specification; on reflection and strategies; on applications to object-oriented design, specification and programming; and on applications to constraint solving, to real-time systems, and to discrete event simulation. Besides the papers, the workshop's program has placed strong emphasis on facilitating in-depth discussion of the topics by allowing ample time for the discussion of each paper, by including five panel discussions on specific topics, and by scheduling a tutorial at the beginning of the workshop. I wish to thank all the panelists for having contributed to making the workshop a very stimulating scientific dialogue. I wish to thank my fellow Programme Committee members and those who assisted them in the refereeing process. Each submitted paper was refereed by at least three persons. Thanks to their efforts we have a volume of high-quality contributions. Programme Committee Fiorella De Cindio Università di Milano Kokichi Futatsugi Japan Advanced Institute of Science and Technology Claude Kirchner INRIA-Lorraine and CRIN-CNRS Christian Lengauer Universität Passau Narciso Martí-Oliet Universidad Complutense de Madrid José Meseguer (Chair) SRI International Ugo Montanari Università di Pisa Carolyn Talcott Stanford University The workshop has been supported by the US Office of Naval Research and by the US National Security Agency through the ONR Grant N00014-96-1-0824. SRI International's Computer Science Laboratory has also contributed resources needed in the preparation of the workshop. All this support is gratefully acknowledged. Manuel Clavel and Narciso Martí-Oliet have provided invaluable assistance in the preparation of the text of these proceedings. Without them you would not hold this volume in your hands, nor could you browse it on your screen. Judith Burgess deserves very special thanks for her excellent work in all aspects of the workshop's organization. Menlo Park, California, August 1996 José Meseguer</abstract><qualityIndicators><score>5.384</score><pdfWordCount>384</pdfWordCount><pdfCharCount>2566</pdfCharCount><pdfVersion>1.4</pdfVersion><pdfPageCount>2</pdfPageCount><pdfPageSize>468 x 680 pts</pdfPageSize><refBibsNative>false</refBibsNative><abstractWordCount>412</abstractWordCount><abstractCharCount>2802</abstractCharCount><keywordCount>0</keywordCount></qualityIndicators><title>Preface</title><pii><json:string>S1571-0661(05)80563-8</json:string></pii><genre><json:string>research-article</json:string></genre><host><title>Electronic Notes in Theoretical Computer Science</title><language><json:string>unknown</json:string></language><publicationDate>1996</publicationDate><issn><json:string>1571-0661</json:string></issn><pii><json:string>S1571-0661(00)X0067-9</json:string></pii><volume>4</volume><pages><first>424</first><last>425</last></pages><genre><json:string>journal</json:string></genre><conference><json:item><name>RWLW96, First International Workshop on Rewriting Logic and its Applications, Asilomar Conference Center, Pacific Grove, CA, USA 19960903 19960906</name></json:item></conference><editor><json:item><name>J. Meseguer</name></json:item></editor></host><namedEntities><unitex><date><json:string>2000</json:string><json:string>19960903</json:string><json:string>1996</json:string></date><geogName></geogName><orgName><json:string>Carolyn Talcott Stanford University</json:string><json:string>Kokichi Futatsugi Japan Advanced Institute of Science and Technology</json:string><json:string>US National Security Agency</json:string><json:string>SRI International</json:string><json:string>Programme Committee Fiorella De Cindio Universit</json:string><json:string>SRI International Ugo</json:string><json:string>Grant N00014</json:string></orgName><orgName_funder><json:string>Grant N00014</json:string></orgName_funder><orgName_provider></orgName_provider><persName><json:string>Manuel Clavel</json:string><json:string>Ugo Montanari</json:string><json:string>Narciso Mart</json:string><json:string>Martin Wirsing</json:string><json:string>Christian Lengauer</json:string><json:string>Judith Burgess</json:string><json:string>Claude Kirchner</json:string></persName><placeName><json:string>Passau</json:string><json:string>Pisa</json:string><json:string>Madrid</json:string><json:string>Japan</json:string></placeName><ref_url></ref_url><ref_bibl></ref_bibl><bibl></bibl></unitex></namedEntities><ark><json:string>ark:/67375/6H6-SRT16LSV-B</json:string></ark><categories><wos></wos><scienceMetrix><json:string>1 - applied sciences</json:string><json:string>2 - information & communication technologies</json:string><json:string>3 - computation theory & mathematics</json:string></scienceMetrix><scopus><json:string>1 - Physical Sciences</json:string><json:string>2 - Computer Science</json:string><json:string>3 - General Computer Science</json:string><json:string>1 - Physical Sciences</json:string><json:string>2 - Mathematics</json:string><json:string>3 - Theoretical Computer Science</json:string></scopus><inist><json:string>1 - sciences humaines et sociales</json:string><json:string>2 - philosophie</json:string></inist></categories><publicationDate>1996</publicationDate><copyrightDate>2000</copyrightDate><doi><json:string>10.1016/S1571-0661(05)80563-8</json:string></doi><id>EA429E127458A697245F9172E975C3B497A34157</id><score>1</score><fulltext><json:item><extension>pdf</extension><original>true</original><mimetype>application/pdf</mimetype><uri>https://api.istex.fr/ark:/67375/6H6-SRT16LSV-B/fulltext.pdf</uri></json:item><json:item><extension>zip</extension><original>false</original><mimetype>application/zip</mimetype><uri>https://api.istex.fr/ark:/67375/6H6-SRT16LSV-B/bundle.zip</uri></json:item><istex:fulltextTEI uri="https://api.istex.fr/ark:/67375/6H6-SRT16LSV-B/fulltext.tei"><teiHeader><fileDesc><titleStmt><title level="a">Preface</title><title level="a" type="sub">Volume 4</title></titleStmt><publicationStmt><authority>ISTEX</authority><publisher scheme="https://scientific-publisher.data.istex.fr">ELSEVIER</publisher><availability><licence><p>©2000 Elsevier B.V.</p></licence><p scheme="https://loaded-corpus.data.istex.fr/ark:/67375/XBH-HKKZVM7B-M">elsevier</p></availability><date>2000</date></publicationStmt><notesStmt><note type="research-article" scheme="https://content-type.data.istex.fr/ark:/67375/XTP-1JC4F85T-7">research-article</note><note type="journal" scheme="https://publication-type.data.istex.fr/ark:/67375/JMC-0GLKJH51-B">journal</note></notesStmt><sourceDesc><biblStruct type="inbook"><analytic><title level="a">Preface</title><title level="a" type="sub">Volume 4</title><author xml:id="author-0000"><persName><forename type="first">José</forename><surname>Meseguer</surname></persName></author><idno type="istex">EA429E127458A697245F9172E975C3B497A34157</idno><idno type="ark">ark:/67375/6H6-SRT16LSV-B</idno><idno type="DOI">10.1016/S1571-0661(05)80563-8</idno><idno type="PII">S1571-0661(05)80563-8</idno></analytic><monogr><title level="j">Electronic Notes in Theoretical Computer Science</title><title level="j" type="abbrev">ENTCS</title><idno type="pISSN">1571-0661</idno><idno type="PII">S1571-0661(00)X0067-9</idno><meeting><addName>RWLW96, First International Workshop on Rewriting Logic and its Applications, Asilomar Conference Center, Pacific Grove, CA, USA</addName><date>19960903</date><date>19960906</date></meeting><editor xml:id="book-author-0000"><persName>J. Meseguer</persName></editor><imprint><publisher>ELSEVIER</publisher><date type="published" when="1996"></date><biblScope unit="volume">4</biblScope><biblScope unit="supplement">C</biblScope><biblScope unit="page" from="424">424</biblScope><biblScope unit="page" to="425">425</biblScope></imprint></monogr></biblStruct></sourceDesc></fileDesc><profileDesc><creation><date>2000</date></creation><langUsage><language ident="en">en</language></langUsage><abstract xml:lang="en"><p>Abstract: This volume constitutes the proceedings of the First International Workshop on Rewriting Logic and its Applications, held at the Asilomar Conference Center, Pacific Grove, California, September 3--6, 1996. There are three invited papers by Narciso Martí-Oliet, Ugo Montanari, and Martin Wirsing, and seventeen contributed papers selected by the Program Committee among the submitted papers. They give a rich view of the latest developments and research directions in the field of rewriting logic and its different applications to computing. Besides work on models and on concurrency aspects, there are several papers describing the different rewriting logic languages developed so far in Europe and the US, as well as a paper on semantic foundations for the Cafe language in Japan. There are also several papers on logical and metalogical specification; on reflection and strategies; on applications to object-oriented design, specification and programming; and on applications to constraint solving, to real-time systems, and to discrete event simulation. Besides the papers, the workshop's program has placed strong emphasis on facilitating in-depth discussion of the topics by allowing ample time for the discussion of each paper, by including five panel discussions on specific topics, and by scheduling a tutorial at the beginning of the workshop. I wish to thank all the panelists for having contributed to making the workshop a very stimulating scientific dialogue. I wish to thank my fellow Programme Committee members and those who assisted them in the refereeing process. Each submitted paper was refereed by at least three persons. Thanks to their efforts we have a volume of high-quality contributions. Programme Committee Fiorella De Cindio Università di Milano Kokichi Futatsugi Japan Advanced Institute of Science and Technology Claude Kirchner INRIA-Lorraine and CRIN-CNRS Christian Lengauer Universität Passau Narciso Martí-Oliet Universidad Complutense de Madrid José Meseguer (Chair) SRI International Ugo Montanari Università di Pisa Carolyn Talcott Stanford University The workshop has been supported by the US Office of Naval Research and by the US National Security Agency through the ONR Grant N00014-96-1-0824. SRI International's Computer Science Laboratory has also contributed resources needed in the preparation of the workshop. All this support is gratefully acknowledged. Manuel Clavel and Narciso Martí-Oliet have provided invaluable assistance in the preparation of the text of these proceedings. Without them you would not hold this volume in your hands, nor could you browse it on your screen. Judith Burgess deserves very special thanks for her excellent work in all aspects of the workshop's organization. Menlo Park, California, August 1996 José Meseguer</p></abstract></profileDesc><revisionDesc><change when="1996">Published</change></revisionDesc></teiHeader></istex:fulltextTEI><json:item><extension>txt</extension><original>false</original><mimetype>text/plain</mimetype><uri>https://api.istex.fr/ark:/67375/6H6-SRT16LSV-B/fulltext.txt</uri></json:item></fulltext><metadata><istex:metadataXml wicri:clean="Elsevier converted-article found"><istex:xmlDeclaration>version="1.0" encoding="utf-8"</istex:xmlDeclaration><istex:docType PUBLIC="-//ES//DTD journal article DTD version 4.5.2//EN//XML" URI="art452.dtd" name="istex:docType"></istex:docType><istex:document><converted-article version="4.5.2" docsubtype="fla"><item-info><jid>ENTCS</jid><aid>563</aid><ce:pii>S1571-0661(05)80563-8</ce:pii><ce:doi>10.1016/S1571-0661(05)80563-8</ce:doi><ce:copyright type="full-transfer" year="2000">Elsevier B.V.</ce:copyright></item-info><head><ce:title>Preface</ce:title><ce:subtitle>Volume 4</ce:subtitle><ce:author-group><ce:author><ce:given-name>José</ce:given-name><ce:surname>Meseguer</ce:surname></ce:author></ce:author-group><ce:abstract><ce:section-title>Abstract</ce:section-title><ce:abstract-sec><ce:simple-para>This volume constitutes the proceedings of the First International Workshop on Rewriting Logic and its Applications, held at the Asilomar Conference Center, Pacific Grove, California, September 3--6, 1996.</ce:simple-para><ce:simple-para>There are three invited papers by Narciso Martí-Oliet, Ugo Montanari, and Martin Wirsing, and seventeen contributed papers selected by the Program Committee among the submitted papers. They give a rich view of the latest developments and research directions in the field of rewriting logic and its different applications to computing. Besides work on models and on concurrency aspects, there are several papers describing the different rewriting logic languages developed so far in Europe and the US, as well as a paper on semantic foundations for the Cafe language in Japan. There are also several papers on logical and metalogical specification; on reflection and strategies; on applications to object-oriented design, specification and programming; and on applications to constraint solving, to real-time systems, and to discrete event simulation.</ce:simple-para><ce:simple-para>Besides the papers, the workshop's program has placed strong emphasis on facilitating in-depth discussion of the topics by allowing ample time for the discussion of each paper, by including five panel discussions on specific topics, and by scheduling a tutorial at the beginning of the workshop. I wish to thank all the panelists for having contributed to making the workshop a very stimulating scientific dialogue.</ce:simple-para><ce:simple-para>I wish to thank my fellow Programme Committee members and those who assisted them in the refereeing process. Each submitted paper was refereed by at least three persons. Thanks to their efforts we have a volume of high-quality contributions.</ce:simple-para><ce:simple-para><display><ce:table colsep="0" rowsep="0" frame="none"><tgroup cols="2"><colspec colname="col1" colsep="0"></colspec><colspec colname="col2" colsep="0"></colspec><tbody><row><entry><ce:bold>Programme Committee</ce:bold></entry><entry></entry></row><row><entry>Fiorella De Cindio</entry><entry><ce:italic>Università di Milano</ce:italic></entry></row><row><entry>Kokichi Futatsugi</entry><entry><ce:italic>Japan Advanced Institute of Science and Technology</ce:italic></entry></row><row><entry>Claude Kirchner</entry><entry><ce:italic>INRIA-Lorraine and CRIN-CNRS</ce:italic></entry></row><row><entry>Christian Lengauer</entry><entry><ce:italic>Universität Passau</ce:italic></entry></row><row><entry>Narciso Martí-Oliet</entry><entry><ce:italic>Universidad Complutense de Madrid</ce:italic></entry></row><row><entry>José Meseguer <ce:italic>(Chair)</ce:italic></entry><entry><ce:italic>SRI International</ce:italic></entry></row><row><entry>Ugo Montanari</entry><entry><ce:italic>Università di Pisa</ce:italic></entry></row><row><entry>Carolyn Talcott</entry><entry><ce:italic>Stanford University</ce:italic></entry></row></tbody></tgroup></ce:table></display></ce:simple-para><ce:simple-para>The workshop has been supported by the <ce:italic>US Office of Naval Research</ce:italic> and by the <ce:italic>US National Security Agency</ce:italic> through the ONR Grant N00014-96-1-0824. <ce:italic>SRI International's Computer Science Laboratory</ce:italic> has also contributed resources needed in the preparation of the workshop. All this support is gratefully acknowledged.</ce:simple-para><ce:simple-para>Manuel Clavel and Narciso Martí-Oliet have provided invaluable assistance in the preparation of the text of these proceedings. Without them you would not hold this volume in your hands, nor could you browse it on your screen. Judith Burgess deserves very special thanks for her excellent work in all aspects of the workshop's organization.</ce:simple-para><ce:simple-para>Menlo Park, California, August 1996</ce:simple-para><ce:simple-para>José Meseguer</ce:simple-para></ce:abstract-sec></ce:abstract></head></converted-article></istex:document></istex:metadataXml><mods version="3.6"><titleInfo><title>Preface</title><subTitle>Volume 4</subTitle></titleInfo><titleInfo type="alternative" contentType="CDATA"><title>Preface</title><subTitle>Volume 4</subTitle></titleInfo><name type="personal"><namePart type="given">José</namePart><namePart type="family">Meseguer</namePart><role><roleTerm type="text">author</roleTerm></role></name><typeOfResource>text</typeOfResource><genre type="research-article" displayLabel="Full-length article" authority="ISTEX" authorityURI="https://content-type.data.istex.fr" valueURI="https://content-type.data.istex.fr/ark:/67375/XTP-1JC4F85T-7">research-article</genre><originInfo><publisher>ELSEVIER</publisher><dateIssued encoding="w3cdtf">1996</dateIssued><copyrightDate encoding="w3cdtf">2000</copyrightDate></originInfo><language><languageTerm type="code" authority="iso639-2b">eng</languageTerm><languageTerm type="code" authority="rfc3066">en</languageTerm></language><abstract lang="en">Abstract: This volume constitutes the proceedings of the First International Workshop on Rewriting Logic and its Applications, held at the Asilomar Conference Center, Pacific Grove, California, September 3--6, 1996. There are three invited papers by Narciso Martí-Oliet, Ugo Montanari, and Martin Wirsing, and seventeen contributed papers selected by the Program Committee among the submitted papers. They give a rich view of the latest developments and research directions in the field of rewriting logic and its different applications to computing. Besides work on models and on concurrency aspects, there are several papers describing the different rewriting logic languages developed so far in Europe and the US, as well as a paper on semantic foundations for the Cafe language in Japan. There are also several papers on logical and metalogical specification; on reflection and strategies; on applications to object-oriented design, specification and programming; and on applications to constraint solving, to real-time systems, and to discrete event simulation. Besides the papers, the workshop's program has placed strong emphasis on facilitating in-depth discussion of the topics by allowing ample time for the discussion of each paper, by including five panel discussions on specific topics, and by scheduling a tutorial at the beginning of the workshop. I wish to thank all the panelists for having contributed to making the workshop a very stimulating scientific dialogue. I wish to thank my fellow Programme Committee members and those who assisted them in the refereeing process. Each submitted paper was refereed by at least three persons. Thanks to their efforts we have a volume of high-quality contributions. Programme Committee Fiorella De Cindio Università di Milano Kokichi Futatsugi Japan Advanced Institute of Science and Technology Claude Kirchner INRIA-Lorraine and CRIN-CNRS Christian Lengauer Universität Passau Narciso Martí-Oliet Universidad Complutense de Madrid José Meseguer (Chair) SRI International Ugo Montanari Università di Pisa Carolyn Talcott Stanford University The workshop has been supported by the US Office of Naval Research and by the US National Security Agency through the ONR Grant N00014-96-1-0824. SRI International's Computer Science Laboratory has also contributed resources needed in the preparation of the workshop. All this support is gratefully acknowledged. Manuel Clavel and Narciso Martí-Oliet have provided invaluable assistance in the preparation of the text of these proceedings. Without them you would not hold this volume in your hands, nor could you browse it on your screen. Judith Burgess deserves very special thanks for her excellent work in all aspects of the workshop's organization. Menlo Park, California, August 1996 José Meseguer</abstract><relatedItem type="host"><titleInfo><title>Electronic Notes in Theoretical Computer Science</title></titleInfo><titleInfo type="abbreviated"><title>ENTCS</title></titleInfo><name type="conference"><namePart>RWLW96, First International Workshop on Rewriting Logic and its Applications, Asilomar Conference Center, Pacific Grove, CA, USA</namePart><namePart type="date">19960903</namePart><namePart type="date">19960906</namePart></name><name type="personal"><namePart>J. Meseguer</namePart><role><roleTerm type="text">editor</roleTerm></role></name><genre type="journal" authority="ISTEX" authorityURI="https://publication-type.data.istex.fr" valueURI="https://publication-type.data.istex.fr/ark:/67375/JMC-0GLKJH51-B">journal</genre><originInfo><publisher>ELSEVIER</publisher><dateIssued encoding="w3cdtf">1996</dateIssued></originInfo><identifier type="ISSN">1571-0661</identifier><identifier type="PII">S1571-0661(00)X0067-9</identifier><part><date>1996</date><detail type="issue"><title>RWLW96, First International Workshop on Rewriting Logic and its Applications, Asilomar Conference Center, Pacific Grove, CA, USA</title></detail><detail type="volume"><number>4</number><caption>vol.</caption></detail><detail type="supplement"><number>C</number><caption>Suppl.</caption></detail><extent unit="issue-pages"><start>1</start><end>425</end></extent><extent unit="pages"><start>424</start><end>425</end></extent></part></relatedItem><identifier type="istex">EA429E127458A697245F9172E975C3B497A34157</identifier><identifier type="ark">ark:/67375/6H6-SRT16LSV-B</identifier><identifier type="DOI">10.1016/S1571-0661(05)80563-8</identifier><identifier type="PII">S1571-0661(05)80563-8</identifier><accessCondition type="use and reproduction" contentType="copyright">©2000 Elsevier B.V.</accessCondition><recordInfo><recordContentSource authority="ISTEX" authorityURI="https://loaded-corpus.data.istex.fr" valueURI="https://loaded-corpus.data.istex.fr/ark:/67375/XBH-HKKZVM7B-M">elsevier</recordContentSource><recordOrigin>Elsevier B.V., ©2000</recordOrigin></recordInfo></mods><json:item><extension>json</extension><original>false</original><mimetype>application/json</mimetype><uri>https://api.istex.fr/ark:/67375/6H6-SRT16LSV-B/record.json</uri></json:item></metadata><serie></serie></istex></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 003809 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd -nk 003809 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Istex
|étape= Corpus
|type= RBID
|clé= ISTEX:EA429E127458A697245F9172E975C3B497A34157
|texte= Preface
}}
| This area was generated with Dilib version V0.6.33. |  |