Login / Signup

Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics.

Jan HoffmannMartin Hofmann
Published in: APLAS (2010)
Keyphrases
  • operational semantics
  • machine learning
  • worst case
  • database
  • artificial intelligence
  • relational databases
  • databases
  • multi agent
  • life cycle
  • mental states
  • formal semantics