A Compiler for Nondeterministic Term Rewriting Systems.

Published in: RTA (1996)

Keyphrases

term rewriting systems
functional programs
logic programs
programming language
general purpose
software systems
highly optimized
finite state
finite automata
database
machine learning
markov chain
initial state