Selected and extended papers from Partial Evaluation and Program Manipulation 2013.

Elvira Albert Shin-Cheng Mu

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

Keyphrases

partial evaluation
explanation based generalization
special issue
world class
data sets
databases
search engine
supervised learning
logic programming
domain theory
doctoral consortium