The Third Rewrite Engines Competition

F. Durán; M. Roldán; J.-C. Bach; E. Balland; M.G.J. Brand, van den; J.R. Cordy; S. Eker; L.J.P. Engelen; M. Jonge, de; K.T. Kalleberg; L.C.L. Kats; P.-E. Moreau; E. Visser

doi:10.1007/978-3-642-16310-4_16

The Third Rewrite Engines Competition

F. Durán, M. Roldán, J.-C. Bach, E. Balland, M.G.J. Brand, van den, J.R. Cordy, S. Eker, L.J.P. Engelen, M. Jonge, de, K.T. Kalleberg, L.C.L. Kats, P.-E. Moreau, E. Visser

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

7 Citations (Scopus)

Abstract

This paper presents the main results and conclusions of the Third Rewrite Engines Competition (REC III). This edition of the competition took place as part of the 8th Workshop on Rewriting Logic and its Applications (WRLA 2010), and the systems ASF+SDF, Maude, Stratego/XT, Tom, and TXL participated in it.

Original language	English
Title of host publication	Rewriting Logic and Its Applications (8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010. Revised Selected Papers)
Editors	P.C. Ölveczky
Place of Publication	Berlin
Publisher	Springer
Pages	243-261
ISBN (Print)	978-3-642-16309-8
DOIs	https://doi.org/10.1007/978-3-642-16310-4_16
Publication status	Published - 2010

Publication series

Name	Lecture Notes in Computer Science
Volume	6381
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-642-16310-4_16

Cite this

Durán, F., Roldán, M., Bach, J.-C., Balland, E., Brand, van den, M. G. J., Cordy, J. R., Eker, S., Engelen, L. J. P., Jonge, de, M., Kalleberg, K. T., Kats, L. C. L., Moreau, P.-E., & Visser, E. (2010). The Third Rewrite Engines Competition. In P. C. Ölveczky (Ed.), Rewriting Logic and Its Applications (8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010. Revised Selected Papers) (pp. 243-261). (Lecture Notes in Computer Science; Vol. 6381). Springer. https://doi.org/10.1007/978-3-642-16310-4_16

@inproceedings{fe184558aa4f4454b50cc53d4bcc1440,

title = "The Third Rewrite Engines Competition",

abstract = "This paper presents the main results and conclusions of the Third Rewrite Engines Competition (REC III). This edition of the competition took place as part of the 8th Workshop on Rewriting Logic and its Applications (WRLA 2010), and the systems ASF+SDF, Maude, Stratego/XT, Tom, and TXL participated in it.",

author = "F. Dur{\'a}n and M. Rold{\'a}n and J.-C. Bach and E. Balland and {Brand, van den}, M.G.J. and J.R. Cordy and S. Eker and L.J.P. Engelen and {Jonge, de}, M. and K.T. Kalleberg and L.C.L. Kats and P.-E. Moreau and E. Visser",

year = "2010",

doi = "10.1007/978-3-642-16310-4_16",

language = "English",

isbn = "978-3-642-16309-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "243--261",

editor = "P.C. {\"O}lveczky",

booktitle = "Rewriting Logic and Its Applications (8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010. Revised Selected Papers)",

address = "Germany",

}

Durán, F, Roldán, M, Bach, J-C, Balland, E, Brand, van den, MGJ, Cordy, JR, Eker, S, Engelen, LJP, Jonge, de, M, Kalleberg, KT, Kats, LCL, Moreau, P-E & Visser, E 2010, The Third Rewrite Engines Competition. in PC Ölveczky (ed.), Rewriting Logic and Its Applications (8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010. Revised Selected Papers). Lecture Notes in Computer Science, vol. 6381, Springer, Berlin, pp. 243-261. https://doi.org/10.1007/978-3-642-16310-4_16

The Third Rewrite Engines Competition. / Durán, F.; Roldán, M.; Bach, J.-C. et al.
Rewriting Logic and Its Applications (8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010. Revised Selected Papers). ed. / P.C. Ölveczky. Berlin: Springer, 2010. p. 243-261 (Lecture Notes in Computer Science; Vol. 6381).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - The Third Rewrite Engines Competition

AU - Durán, F.

AU - Roldán, M.

AU - Bach, J.-C.

AU - Balland, E.

AU - Brand, van den, M.G.J.

AU - Cordy, J.R.

AU - Eker, S.

AU - Engelen, L.J.P.

AU - Jonge, de, M.

AU - Kalleberg, K.T.

AU - Kats, L.C.L.

AU - Moreau, P.-E.

AU - Visser, E.

PY - 2010

Y1 - 2010

N2 - This paper presents the main results and conclusions of the Third Rewrite Engines Competition (REC III). This edition of the competition took place as part of the 8th Workshop on Rewriting Logic and its Applications (WRLA 2010), and the systems ASF+SDF, Maude, Stratego/XT, Tom, and TXL participated in it.

AB - This paper presents the main results and conclusions of the Third Rewrite Engines Competition (REC III). This edition of the competition took place as part of the 8th Workshop on Rewriting Logic and its Applications (WRLA 2010), and the systems ASF+SDF, Maude, Stratego/XT, Tom, and TXL participated in it.

U2 - 10.1007/978-3-642-16310-4_16

DO - 10.1007/978-3-642-16310-4_16

M3 - Conference contribution

SN - 978-3-642-16309-8

T3 - Lecture Notes in Computer Science

SP - 243

EP - 261

BT - Rewriting Logic and Its Applications (8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010. Revised Selected Papers)

A2 - Ölveczky, P.C.

PB - Springer

CY - Berlin

ER -

Durán F, Roldán M, Bach JC, Balland E, Brand, van den MGJ, Cordy JR et al. The Third Rewrite Engines Competition. In Ölveczky PC, editor, Rewriting Logic and Its Applications (8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010. Revised Selected Papers). Berlin: Springer. 2010. p. 243-261. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-16310-4_16

The Third Rewrite Engines Competition

Abstract

Publication series

Access to Document

Fingerprint

Cite this