CoolFace
Datasetpublic

szalontaib/erlang-refactoring

This repository contains the dataset used for training a proof-of-concept method for refactoring nonidiomatic Erlang code. This is the implementation of the presented method in the following paper: Balázs Szalontai, Péter Bereczky and Dániel Horpácsi, "Deep Learning-Based Refactoring with Formally Verified Training Data", Infocommunications Journal, Special Issue on Applied Informatics, 2023, pp. 2-8, https://doi.org/10.36244/ICJ.2023.5.1 The implementation of the method can be accessed on… See the full description on the dataset page: https://huggingface.co/datasets/szalontaib/erlang-refactoring.

sourceHugging Faceapache-2.0updated 2y agoView on Hugging Face
2likes58downloads
Dataset Card

This repository contains the dataset used for training a proof-of-concept method for refactoring nonidiomatic Erlang code.

This is the implementation of the presented method in the following paper: \ Balázs Szalontai, Péter Bereczky and Dániel Horpácsi, "Deep Learning-Based Refactoring with Formally Verified Training Data", \ Infocommunications Journal, Special Issue on Applied Informatics, 2023, pp. 2-8, https://doi.org/10.36244/ICJ.2023.5.1

The implementation of the method can be accessed on GitHub here.