Login / Signup

Allocation removal by partial evaluation in a tracing JIT.

Carl Friedrich BolzAntonio CuniMaciej FijalkowskiMichael LeuschelSamuele PedroniArmin Rigo
Published in: PEPM (2011)
Keyphrases
  • partial evaluation
  • explanation based generalization
  • resource allocation
  • scheduling problem
  • domain theory
  • data mining
  • domain knowledge
  • higher order
  • modal logic
  • database
  • database systems
  • prior knowledge