Login / Signup

TiML: a functional language for practical complexity analysis with invariants.

Peng WangDi WangAdam Chlipala
Published in: Proc. ACM Program. Lang. (2017)
Keyphrases
  • complexity analysis
  • functional language
  • theoretical analysis
  • functional programming
  • computational complexity
  • lower bound
  • programming language
  • first order logic
  • artificial intelligence
  • high level