Reduction strategies in rewriting and programming.

Bernhard Gramlich Salvador Lucas

Published in: J. Symb. Comput. (2005)

Keyphrases

optimal strategy
programming language
search strategies
reduction method
databases
information systems
special case
general purpose
object oriented programming
computer programming
programming environment
programming environments