论文信息 - Converting Constraint Handling Rules to Equivalent Transformation Rules - 字舞流文

Converting Constraint Handling Rules to Equivalent Transformation Rules

Kiyoshi Akama | Hiroshi Mabuchi | Hidekatsu Koike | Yoshinori Shigeta

[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..