Partial Evaluation Scheme for Concurrent Languages and Its Correctness.

Haruo Hosoya Naoki Kobayashi Akinori Yonezawa

Published in: Euro-Par, Vol. I (1996)

Keyphrases

partial evaluation
explanation based generalization
databases
expressive power
high level
concurrent execution
reinforcement learning
xpath queries