Reasoning about passive declarations in CHR

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

    Resumé

    The programming language of Constraint Handling Rules (CHR) is gaining more and more popularity and this has motivated the development of new optimization techniques to be applied in implementations of CHR. As for other logic programming languages, a program written CHR can be understood declaratively as a logical formula and as a procedural specification, and CHR has different tools for manual optimization at the procedural level whose application may (or may not) sacrifice the declarative reading. % One such optimization is given by passive declarations by means of which the search for rules to be applied can be optimized, perhaps changing which rules that are applied and in which order. % A framework for analyzing the effect of passive declarations is presented in terms of a slightly abstract operational semantics which takes into account the effect of passive declarations. Based on it, we can give different classifications of the effect of some passive declarations that do not affect the logical semantics. This may be used for reasoning about manual optimizations as well as proposals for automatic strategies to be applied by a compiler for adding passive declarations.
    OriginalsprogEngelsk
    TitelWorkshop Proceedings: Constraint Handling Rules : Proceedings of CHR 2005, Second Workshop on Constraint Handling Rules Workshop as International Conference on logic Programming (ICLP 2005)
    RedaktørerTom Schrijvers, Thom Frühwirth
    Antal sider16
    ForlagKatholieke Universiteit Leuven
    Publikationsdato2005
    Sider93-108
    StatusUdgivet - 2005
    BegivenhedConstraint Handling Rules, Workshop - Sitges, Spanien
    Varighed: 5 okt. 20055 okt. 2005
    Konferencens nummer: 2

    Workshop

    WorkshopConstraint Handling Rules, Workshop
    Nummer2
    LandSpanien
    BySitges
    Periode05/10/200505/10/2005

    Bibliografisk note

    Also available as Report CW 421, September 2005 (Katholieke Universiteit Leuven, Department of Computer Science)
    (ISBN or ISSN not known)
    http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW421.pdf

    Citer dette

    Christiansen, H. (2005). Reasoning about passive declarations in CHR. I T. Schrijvers, & T. Frühwirth (red.), Workshop Proceedings: Constraint Handling Rules: Proceedings of CHR 2005, Second Workshop on Constraint Handling Rules Workshop as International Conference on logic Programming (ICLP 2005) (s. 93-108). Katholieke Universiteit Leuven.
    Christiansen, Henning. / Reasoning about passive declarations in CHR. Workshop Proceedings: Constraint Handling Rules: Proceedings of CHR 2005, Second Workshop on Constraint Handling Rules Workshop as International Conference on logic Programming (ICLP 2005). red. / Tom Schrijvers ; Thom Frühwirth. Katholieke Universiteit Leuven, 2005. s. 93-108
    @inproceedings{086199b06b6311dbb485000ea68e967b,
    title = "Reasoning about passive declarations in CHR",
    abstract = "The programming language of Constraint Handling Rules (CHR) is gaining more and more popularity and this has motivated the development of new optimization techniques to be applied in implementations of CHR. As for other logic programming languages, a program written CHR can be understood declaratively as a logical formula and as a procedural specification, and CHR has different tools for manual optimization at the procedural level whose application may (or may not) sacrifice the declarative reading. {\%} One such optimization is given by passive declarations by means of which the search for rules to be applied can be optimized, perhaps changing which rules that are applied and in which order. {\%} A framework for analyzing the effect of passive declarations is presented in terms of a slightly abstract operational semantics which takes into account the effect of passive declarations. Based on it, we can give different classifications of the effect of some passive declarations that do not affect the logical semantics. This may be used for reasoning about manual optimizations as well as proposals for automatic strategies to be applied by a compiler for adding passive declarations.",
    author = "Henning Christiansen",
    note = "Also available as Report CW 421, September 2005 (Katholieke Universiteit Leuven, Department of Computer Science) (ISBN or ISSN not known) http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW421.pdf",
    year = "2005",
    language = "English",
    pages = "93--108",
    editor = "Tom Schrijvers and Thom Fr{\"u}hwirth",
    booktitle = "Workshop Proceedings: Constraint Handling Rules",
    publisher = "Katholieke Universiteit Leuven",

    }

    Christiansen, H 2005, Reasoning about passive declarations in CHR. i T Schrijvers & T Frühwirth (red), Workshop Proceedings: Constraint Handling Rules: Proceedings of CHR 2005, Second Workshop on Constraint Handling Rules Workshop as International Conference on logic Programming (ICLP 2005). Katholieke Universiteit Leuven, s. 93-108, Constraint Handling Rules, Workshop, Sitges, Spanien, 05/10/2005.

    Reasoning about passive declarations in CHR. / Christiansen, Henning.

    Workshop Proceedings: Constraint Handling Rules: Proceedings of CHR 2005, Second Workshop on Constraint Handling Rules Workshop as International Conference on logic Programming (ICLP 2005). red. / Tom Schrijvers; Thom Frühwirth. Katholieke Universiteit Leuven, 2005. s. 93-108.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

    TY - GEN

    T1 - Reasoning about passive declarations in CHR

    AU - Christiansen, Henning

    N1 - Also available as Report CW 421, September 2005 (Katholieke Universiteit Leuven, Department of Computer Science) (ISBN or ISSN not known) http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW421.pdf

    PY - 2005

    Y1 - 2005

    N2 - The programming language of Constraint Handling Rules (CHR) is gaining more and more popularity and this has motivated the development of new optimization techniques to be applied in implementations of CHR. As for other logic programming languages, a program written CHR can be understood declaratively as a logical formula and as a procedural specification, and CHR has different tools for manual optimization at the procedural level whose application may (or may not) sacrifice the declarative reading. % One such optimization is given by passive declarations by means of which the search for rules to be applied can be optimized, perhaps changing which rules that are applied and in which order. % A framework for analyzing the effect of passive declarations is presented in terms of a slightly abstract operational semantics which takes into account the effect of passive declarations. Based on it, we can give different classifications of the effect of some passive declarations that do not affect the logical semantics. This may be used for reasoning about manual optimizations as well as proposals for automatic strategies to be applied by a compiler for adding passive declarations.

    AB - The programming language of Constraint Handling Rules (CHR) is gaining more and more popularity and this has motivated the development of new optimization techniques to be applied in implementations of CHR. As for other logic programming languages, a program written CHR can be understood declaratively as a logical formula and as a procedural specification, and CHR has different tools for manual optimization at the procedural level whose application may (or may not) sacrifice the declarative reading. % One such optimization is given by passive declarations by means of which the search for rules to be applied can be optimized, perhaps changing which rules that are applied and in which order. % A framework for analyzing the effect of passive declarations is presented in terms of a slightly abstract operational semantics which takes into account the effect of passive declarations. Based on it, we can give different classifications of the effect of some passive declarations that do not affect the logical semantics. This may be used for reasoning about manual optimizations as well as proposals for automatic strategies to be applied by a compiler for adding passive declarations.

    M3 - Article in proceedings

    SP - 93

    EP - 108

    BT - Workshop Proceedings: Constraint Handling Rules

    A2 - Schrijvers, Tom

    A2 - Frühwirth, Thom

    PB - Katholieke Universiteit Leuven

    ER -

    Christiansen H. Reasoning about passive declarations in CHR. I Schrijvers T, Frühwirth T, red., Workshop Proceedings: Constraint Handling Rules: Proceedings of CHR 2005, Second Workshop on Constraint Handling Rules Workshop as International Conference on logic Programming (ICLP 2005). Katholieke Universiteit Leuven. 2005. s. 93-108