Logical Specifications for Functional Programs.

Theodore S. Norvell Eric C. R. Hehner

Published in: MPC (1992)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
logic programs
functional language
stochastic grammar
high level
model theoretic
knowledge representation
database technology
operational semantics