Login / Signup

LAMBDAFICATOR: from imperative to functional programming through automated refactoring.

Lyle FranklinAlex GyoriJan LahodaDanny Dig
Published in: ICSE (2013)
Keyphrases
  • functional programming
  • functional language
  • programming language
  • object oriented programming
  • quantifier elimination
  • source code
  • execution model
  • database
  • data streams
  • software engineering
  • general purpose