Converting Constraint Handling Rules to Equivalent Transformation Rules
暂无分享,去创建一个
[1] Kiyoshi Akama,et al. A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation , 2001, RULE@PLI.
[2] Thom W. Frühwirth,et al. Compiling Constraint Handling Rules into Prolog with Attributed Variables , 1999, PPDP.
[3] Kiyoshi Akama,et al. Program Synthesis Based on the Equivalent Transformation Computation Model , 2002, LOPSTR.
[4] Paul Hudak,et al. Conception, evolution, and application of functional programming languages , 1989, CSUR.
[5] Kiyoshi Akama,et al. A Theoretical Foundation of Program Synthesis by Equivalent Transformation , 2001, Ershov Memorial Conference.
[6] Chutiporn Anutariya,et al. Query Formulation and Evaluation of XML Databases , 2002, WITASI.
[7] Kiyoshi Akama,et al. Equivalent Transformation by Safe Extension of Data Structures , 2001, Ershov Memorial Conference.
[8] Kiyoshi Akama,et al. SEMANTICS FOR DECLARATIVE DESCRIPTIONS WITH REFERENTIAL CONSTRAINTS , 2001 .
[9] Chutiporn Anutariya,et al. XML Declarative Description: A Language for the Semantic Web , 2001, IEEE Intell. Syst..
[10] Thom W. Frühwirth,et al. Theory and Practice of Constraint Handling Rules , 1998, J. Log. Program..
[11] Michael Hanus,et al. The Integration of Functions into Logic Programming: From Theory to Practice , 1994, J. Log. Program..
[12] Michael J. Maher,et al. The Semantics of Constraint Logic Programs , 1998, J. Log. Program..