Self-Applicable Partial Evaluation for the pi-Calculus.

Marc Gengler Matthieu Martel

Published in: PEPM (1997)

Keyphrases

partial evaluation
explanation based generalization
database
pairwise
domain theory
data sets
learning algorithm
contextual information
first order logic
temporal logic
xpath queries