Login / Signup

TEA: Automatically Proving Termination of Programs in a Non-strict Higher-Order Functional Language.

Sven Eric PanitzManfred Schmidt-Schauß
Published in: SAS (1997)
Keyphrases
  • functional language
  • higher order
  • functional programming
  • functional programs
  • programming language
  • proof planning
  • databases
  • management system
  • active databases
  • execution model
  • term rewrite systems