Hubert Garavel, Mohammad-Ali Tabikh, Imad-Seddik Arrada
Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages - The 4th Rewrite Engines Competition
WRLA, 2018.
@inproceedings{WRLA-2018-GaravelTA,
author = "Hubert Garavel and Mohammad-Ali Tabikh and Imad-Seddik Arrada",
booktitle = "{WRLA@ETAPS}",
doi = "10.1007/978-3-319-99840-4_1",
isbn = "['978-3-319-99839-8', '978-3-319-99840-4']",
pages = "1--25",
publisher = "{Springer}",
title = "{Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages - The 4th Rewrite Engines Competition}",
year = 2018,
}
