Login / Signup

The Complexity of Verifying Functional Programs.

Hardi Hungar
Published in: STACS (1993)
Keyphrases
  • functional programs
  • term rewriting systems
  • lazy evaluation
  • logic programs
  • model checking
  • functional language
  • stochastic grammar
  • machine learning
  • high level
  • database systems