Compilation of Algebraic Specifications and Term Rewriting Systems.

Published in: ADT (1988)

Keyphrases

term rewriting systems
functional programs
logic programs
code generation
formal specification
high level
delay insensitive
knowledge compilation
database
general purpose
logic programming
operational semantics
functional language