Reasoning about passive declarations in CHR

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


    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.
    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
    StatusUdgivet - 2005
    BegivenhedConstraint Handling Rules, Workshop - Sitges, Spanien
    Varighed: 5 okt. 20055 okt. 2005
    Konferencens nummer: 2


    WorkshopConstraint Handling Rules, Workshop

    Bibliografisk note

    Also available as Report CW 421, September 2005 (Katholieke Universiteit Leuven, Department of Computer Science)
    (ISBN or ISSN not known)

    Citer dette