14 citations · 22 across the 6 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017★ 5 cited
Faithful (meta-)encodings of programmable strategies into term rewriting systems
Horatiu Cirstea, Serguei Lenglet, Pierre-Etienne Moreau
Rewriting is a formalism widely used in computer science and mathematical logic. When using rewriting as a programming or modeling paradigm, the rewrite rules describe the transfor…
cs.PL2017
Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation
Horatiu Cirstea, Santiago Escobar
This volume contains the formal proceedings of the Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2016), held on 23rd June 20…