A Program Transformation for Backwards Analysis of Logic Programs

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    Resumé

    The input to backwards analysis is a program together with properties that are required to hold at given program points. The purpose of the analysis is to derive initial goals or pre-conditions that guarantee that, when the program is executed, the given properties hold. The solution for logic programs presented here is based on a transformation of the input program, which makes explicit the dependencies of the given program points on the initial goals. The transformation is derived from the resultants semantics of logic programs. The transformed program is then analysed using a standard abstract interpretation. The required pre-conditions on initial goals can be deduced from the analysis results without a further fixpoint computation. For the modes backwards analysis problem, this approach gives the same results as previous work, but requires only a standard abstract interpretation framework and no special properties of the abstract domain.
    OriginalsprogEngelsk
    TitelLogic Based Program Synthesis and Transformation, 13th International Symposium, LOPSTR 2003
    RedaktørerMaurice Bruynooghe
    Antal sider14
    Udgivelses stedUppsala
    ForlagSpringer
    Publikationsdato2003
    Sider92-105
    ISBN (Trykt)3-540-22174-3
    StatusUdgivet - 2003
    NavnLecture Notes in Computer Science
    Vol/bind3018
    ISSN0302-9743

    Citer dette

    Gallagher, J. P. (2003). A Program Transformation for Backwards Analysis of Logic Programs. I M. Bruynooghe (red.), Logic Based Program Synthesis and Transformation, 13th International Symposium, LOPSTR 2003 (s. 92-105). Uppsala: Springer. Lecture Notes in Computer Science, Bind. 3018
    Gallagher, John Patrick. / A Program Transformation for Backwards Analysis of Logic Programs. Logic Based Program Synthesis and Transformation, 13th International Symposium, LOPSTR 2003. red. / Maurice Bruynooghe. Uppsala : Springer, 2003. s. 92-105 (Lecture Notes in Computer Science, Bind 3018).
    @inbook{cfb36a2052bd11dba4bc000ea68e967b,
    title = "A Program Transformation for Backwards Analysis of Logic Programs",
    abstract = "The input to backwards analysis is a program together with properties that are required to hold at given program points. The purpose of the analysis is to derive initial goals or pre-conditions that guarantee that, when the program is executed, the given properties hold. The solution for logic programs presented here is based on a transformation of the input program, which makes explicit the dependencies of the given program points on the initial goals. The transformation is derived from the resultants semantics of logic programs. The transformed program is then analysed using a standard abstract interpretation. The required pre-conditions on initial goals can be deduced from the analysis results without a further fixpoint computation. For the modes backwards analysis problem, this approach gives the same results as previous work, but requires only a standard abstract interpretation framework and no special properties of the abstract domain.",
    author = "Gallagher, {John Patrick}",
    year = "2003",
    language = "English",
    isbn = "3-540-22174-3",
    pages = "92--105",
    editor = "Maurice Bruynooghe",
    booktitle = "Logic Based Program Synthesis and Transformation, 13th International Symposium, LOPSTR 2003",
    publisher = "Springer",

    }

    Gallagher, JP 2003, A Program Transformation for Backwards Analysis of Logic Programs. i M Bruynooghe (red.), Logic Based Program Synthesis and Transformation, 13th International Symposium, LOPSTR 2003. Springer, Uppsala, Lecture Notes in Computer Science, bind 3018, s. 92-105.

    A Program Transformation for Backwards Analysis of Logic Programs. / Gallagher, John Patrick.

    Logic Based Program Synthesis and Transformation, 13th International Symposium, LOPSTR 2003. red. / Maurice Bruynooghe. Uppsala : Springer, 2003. s. 92-105 (Lecture Notes in Computer Science, Bind 3018).

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    TY - CHAP

    T1 - A Program Transformation for Backwards Analysis of Logic Programs

    AU - Gallagher, John Patrick

    PY - 2003

    Y1 - 2003

    N2 - The input to backwards analysis is a program together with properties that are required to hold at given program points. The purpose of the analysis is to derive initial goals or pre-conditions that guarantee that, when the program is executed, the given properties hold. The solution for logic programs presented here is based on a transformation of the input program, which makes explicit the dependencies of the given program points on the initial goals. The transformation is derived from the resultants semantics of logic programs. The transformed program is then analysed using a standard abstract interpretation. The required pre-conditions on initial goals can be deduced from the analysis results without a further fixpoint computation. For the modes backwards analysis problem, this approach gives the same results as previous work, but requires only a standard abstract interpretation framework and no special properties of the abstract domain.

    AB - The input to backwards analysis is a program together with properties that are required to hold at given program points. The purpose of the analysis is to derive initial goals or pre-conditions that guarantee that, when the program is executed, the given properties hold. The solution for logic programs presented here is based on a transformation of the input program, which makes explicit the dependencies of the given program points on the initial goals. The transformation is derived from the resultants semantics of logic programs. The transformed program is then analysed using a standard abstract interpretation. The required pre-conditions on initial goals can be deduced from the analysis results without a further fixpoint computation. For the modes backwards analysis problem, this approach gives the same results as previous work, but requires only a standard abstract interpretation framework and no special properties of the abstract domain.

    M3 - Book chapter

    SN - 3-540-22174-3

    SP - 92

    EP - 105

    BT - Logic Based Program Synthesis and Transformation, 13th International Symposium, LOPSTR 2003

    A2 - Bruynooghe, Maurice

    PB - Springer

    CY - Uppsala

    ER -

    Gallagher JP. A Program Transformation for Backwards Analysis of Logic Programs. I Bruynooghe M, red., Logic Based Program Synthesis and Transformation, 13th International Symposium, LOPSTR 2003. Uppsala: Springer. 2003. s. 92-105. (Lecture Notes in Computer Science, Bind 3018).