Login / Signup

From Small-Step Semantics to Big-Step Semantics, Automatically.

Stefan Ciobaca
Published in: IFM (2013)
Keyphrases
  • post processing
  • formal semantics
  • multi step
  • databases
  • big data
  • data sets
  • domain knowledge
  • small number