Login / Signup

Integrated Operational Semantics: Small-Step, Big-Step and Multi-step.

Ian J. HayesRobert Colvin
Published in: ABZ (2012)
Keyphrases
  • multi step
  • operational semantics
  • single step
  • small number
  • nearest neighbor
  • formal semantics