Login / Signup

Abstract correction of first-order functional programs.

María AlpuenteDemis BallisSantiago EscobarMoreno FalaschiSalvador Lucas
Published in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
  • functional programs
  • term rewriting systems
  • lazy evaluation
  • logic programs
  • functional language
  • stochastic grammar
  • high level
  • first order logic
  • functional programming
  • model theoretic
  • data management