Login / Signup

A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs.

Gustavo ArroyoJ. Guadalupe RamosSalvador TamaritGermán Vidal
Published in: LOPSTR (2008)
Keyphrases
  • functional programs
  • higher order
  • term rewriting systems
  • lazy evaluation
  • logic programs
  • functional language
  • stochastic grammar
  • pairwise
  • databases
  • relational databases
  • distributed environment