Print Email Facebook Twitter Refactoring with confidence Title Refactoring with confidence: Creating and proving the correctness of a refactoring to add arguments to a function in a functional language Author Struik, Kalle (TU Delft Electrical Engineering, Mathematics and Computer Science) Contributor Cockx, J.G.H. (mentor) Miljak, L. (mentor) Langendoen, K.G. (graduation committee) Degree granting institution Delft University of Technology Programme Computer Science and Engineering Project CSE3000 Research Project Date 2023-06-30 Abstract Refactoring tools are an important tool for developers, but their reliability can be questionable at times. In this paper, we show that it is feasible to formally verify refactoring tools using computer-aided proofs. To this end, we create a Haskell-like language and a refactoring operation on this language to add an extra function argument to an arbitrary function in the program. And finally, use the Agda proof assistant to construct a proof of the correctness of this refactoring. Subject agdaCorrect by constructionrefactoring To reference this document use: http://resolver.tudelft.nl/uuid:c82c7a45-632d-4451-8ae2-4e77d2509c88 Part of collection Student theses Document type bachelor thesis Rights © 2023 Kalle Struik Files PDF Refactoring_with_confiden ... struik.pdf 176.89 KB Close viewer /islandora/object/uuid:c82c7a45-632d-4451-8ae2-4e77d2509c88/datastream/OBJ/view