A Compiler for Conditional Term Rewriting Systems.

Stéphane Kaplan

Published in: RTA (1987)

Keyphrases

term rewriting systems
logic programs
functional programs
programming language
general purpose
random field model
highly optimized
software systems
databases
machine learning
code generation