Automatic refactoring for Agda
Sammanfattning: The task of making changes to an existing code base to improve performance, legibility,or extensibility while preserving behaviour is important to virtually anyprogram. Many times this involves making changes requiring a great deal of typingin various places, which is tedious and error-prone. Consequently, programsknown as refactoring engines are used to take over the predictable parts of this task.However, although common for imperative and object-oriented languages, refactoringengines for functional languages like Haskell are rare and those for dependentlytyped languages are nonexistent. This project lays the groundwork for a refactoringengine for Agda by describing useful refactorings and a handful of implementationstrategies.
HÄR KAN DU HÄMTA UPPSATSEN I FULLTEXT. (följ länken till nästa sida)