Symbolic Evaluation of LISP Functions with Side Effects for Verification.

Dennis de Champeaux Jos de Bruin

Published in: IJCAI (1981)

Keyphrases

learning theory
gold standard
evaluation methods
evaluation process
data sets
learning algorithm
model checking
evaluation criteria