Login / Signup

Certifying and Reasoning on Cost Annotations of Functional Programs.

Roberto M. AmadioYann Régis-Gianas
Published in: FOPARA (2011)
Keyphrases
  • functional programs
  • term rewriting systems
  • lazy evaluation
  • knowledge base
  • logic programs
  • stochastic grammar