Bit-level partial evaluation of synchronous circuits.

Sarah Thompson Alan Mycroft

Published in: PEPM (2006)

Keyphrases

partial evaluation
explanation based generalization
domain knowledge
database
databases
pairwise
general purpose
xpath queries
random access memory