LambdaFicator: From imperative to functional programming through automated refactoring | IEEE Conference Publication | IEEE Xplore