Crossing the gap from imperative to functional programming through refactoring.

Alex Gyori Lyle Franklin Danny Dig Jan Lahoda

Published in: ESEC/SIGSOFT FSE (2013)

Keyphrases

functional programming
programming language
functional language
quantifier elimination
execution model
object oriented programming
source code
database systems
software systems
data quality
database
databases
general purpose