A faithful encoding of programmable strategies into term rewriting systems.

Horatiu Cirstea Sergueï Lenglet Pierre-Etienne Moreau

Published in: RTA (2015)

Keyphrases

term rewriting systems
functional programs
logic programs
general purpose
database
data streams
nearest neighbor
low cost
encoding scheme