Show simple item record

The Second Rewrite Engines Competition

dc.contributor.authorDurán, Franciscoeng
dc.contributor.authorRoldán, Manueleng
dc.contributor.authorBalland, Emilieeng
dc.contributor.authorvan den Brand, Markeng
dc.contributor.authorEker, Steveneng
dc.contributor.authorKalleberg, Karl Trygveeng
dc.contributor.authorKats, Lennart C. L.eng
dc.contributor.authorMoreau, Pierre-Etienneeng
dc.contributor.authorSchevchenko, Ruslaneng
dc.contributor.authorVisser, Eelcoeng
dc.date.accessioned2015-04-07T11:25:00Z
dc.date.available2015-04-07T11:25:00Z
dc.date.issued2009-06-29eng
dc.identifier.issn1571-0661en_US
dc.identifier.urihttps://hdl.handle.net/1956/9725
dc.description.abstractThe Second Rewrite Engines Competition (REC) was celebrated as part of the 7th Workshop on Rewriting Logic and its Applications (WRLA 2008). In this edition of the competition participated five systems, namely ASF+SDF, Maude, Stratego/XT, TermWare, and Tom. We explain here how the competition was organized and conducted, and present its main results and conclusions.en_US
dc.language.isoengeng
dc.publisherElsevieren_US
dc.rightsAttribution-NonCommercial-NoDerivs CC BY-NC-NDeng
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/eng
dc.subjectRewriting Systemseng
dc.subjectRewriting Competitioneng
dc.subjectASF+SDFeng
dc.subjectMaudeeng
dc.subjectStratego/XTeng
dc.subjectTermWareeng
dc.subjectTomeng
dc.titleThe Second Rewrite Engines Competitionen_US
dc.typeJournal article
dc.description.versionpublishedVersionen_US
dc.rights.holderCopyright 2009 Elsevier B.V.en_US
dc.identifier.doihttps://doi.org/10.1016/j.entcs.2009.05.025
dc.source.journalElectronic Notes in Theoretical Computer Science
dc.source.40238
dc.source.143
dc.source.pagenumber281-291


Files in this item

Thumbnail
Name:
1-s2.0-S0370269307005643-main.pdf
Size:
242.0Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivs CC BY-NC-ND
Except where otherwise noted, this item's license is described as Attribution-NonCommercial-NoDerivs CC BY-NC-ND