Formalisation of Haskell refactorings.

Huiqing Li Simon J. Thompson

Published in: Trends in Functional Programming (2005)

Keyphrases

programming language
functional programming
formal analysis
plagiarism detection
transformation rules
functional language
database schema
legal reasoning
data quality
software evolution
data mining
decision making
bayesian networks
object oriented