Refactoring logic programs (Extended abstract)

A. Serebrenik, B. Demoen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review


    Program changes take up a substantial part of the entire programming effort. Often a preliminary step of improving the design without altering the external behaviour can be recommended. This is the idea behind refactoring, a source-to-source program transformation that recently came to prominence in the OO-community [1]. Unlike the existing results on automated program transformation, refactoring does not aim at transforming the program entirely automatically. The decision on whether the transformation should be applied and how it should be done is left to the program developer. However, providing automated support for refactoring is useful and an important challenge.
    Original languageEnglish
    Title of host publicationProceedings of the 19th International Conference on Logic Programming (ICLP'03), 9-13 December 2003, Mumbai, India
    EditorsC. Palamidessi
    Place of PublicationBerlin
    ISBN (Print)3-540-20642-6
    Publication statusPublished - 2003

    Publication series

    NameLecture Notes in Computer Science
    ISSN (Print)0302-9743


    Dive into the research topics of 'Refactoring logic programs (Extended abstract)'. Together they form a unique fingerprint.

    Cite this