The Semantics of Lazy (and Industrious) Evaluation.

Robert Cartwright James E. Donahue

Published in: Symposium on LISP and Functional Programming (1982)

Keyphrases

evaluation model
logic programming
evaluation method
evaluation methods
real time
graphical representation
formal semantics
semantic representation
artificial intelligence
natural language
evaluation metrics
gold standard