Partial evaluation of Maple.

Jacques Carette Michael Kucera

Published in: Sci. Comput. Program. (2011)

Keyphrases

partial evaluation
explanation based generalization
information extraction
xpath queries
machine learning
query processing
active learning
domain theory
computer algebra systems