Template Metaprogramming, Partial Evaluation and Computational Complexity Classes.

Emanuele Covino Giovanni Pani

Published in: FCS (2010)

Keyphrases

partial evaluation
computational complexity
explanation based generalization
template matching
matching algorithm
np complete
xpath queries
database
high level
general purpose
database systems
face recognition
high dimensional
domain knowledge
higher order
data management