Refactoring logic programs (Extended abstract)

A. Serebrenik, B. Demoen

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

    Abstract

    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
    PublisherSpringer
    Pages509-510
    ISBN (Print)3-540-20642-6
    DOIs
    Publication statusPublished - 2003

    Publication series

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

    Cite this