2 papers
cs.LO2019
Generic Encodings of Constructor Rewriting Systems
Horatiu Cirstea, Pierre-Etienne Moreau
Rewriting is a formalism widely used in computer science and mathematical logic. The classical formalism has been extended, in the context of functional languages, with an order ov…
cs.PL2017
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…