Constraint-Based Partial Evaluation for Imperative Languages.

Jin Ying Chengzhi Jin

Published in: J. Comput. Sci. Technol. (2002)

Keyphrases

partial evaluation
explanation based generalization
expressive power
language independent
databases
data sets
prior knowledge
xpath queries
database
artificial intelligence
database systems
keywords
expert systems
domain theory