Login / Signup

On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion.

Olivier DanvyKevin Millikin
Published in: Inf. Process. Lett. (2008)
Keyphrases
  • lightweight
  • post processing
  • neural network
  • data collection
  • building blocks
  • quality of service