Login / Signup

Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order.

Álvaro García-PérezPablo NogueiraJuan José Moreno-Navarro
Published in: PPDP (2013)
Keyphrases
  • operational semantics
  • database systems
  • database
  • databases
  • information extraction
  • intelligent systems