A Proof Tool for Reasoning About Functional Programs.

Published in: TPHOLs (1996)

Keyphrases

functional programs
term rewriting systems
functional language
lazy evaluation
logic programs
stochastic grammar
functional programming
complete axiomatization
databases
database systems
multi agent
database technology