Bas Luttik, Eelco Visser. Specification of Rewriting Strategies. In M. P. A. Sellink, editor, 2nd International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF 1997). Electronic Workshops in Computing, Springer-Verlag, Berlin, November 1997.
@inproceedings{LuttikV97,
title = {Specification of Rewriting Strategies},
author = {Bas Luttik and Eelco Visser},
year = {1997},
month = {November},
tags = {control systems, rule-based, case study, SDF, graph transformation, traversal, transformation language, term rewriting, composition, traversal combinators, graph-rewriting, rules, transformation system, rewriting, rewriting strategies, ASF+SDF, transformation, Stratego},
researchr = {https://researchr.org/publication/LuttikV97},
cites = {0},
citedby = {0},
booktitle = {2nd International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF 1997)},
editor = {M. P. A. Sellink},
series = {Electronic Workshops in Computing},
address = {Berlin},
publisher = {Springer-Verlag},
}