Expanding Transformation: A Basis for Correctness Verification of Rewriting Rules

[1]  Kiyoshi Akama,et al.  Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method , 2006, Ershov Memorial Conference.

[2]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[3]  Kiyoshi Akama,et al.  SOLVING LOGICAL PROBLEMS BY EQUIVALENT TRANSFORMATION , 2001 .

[4]  Chutiporn Anutariya,et al.  XML Declarative Description: A Language for the Semantic Web , 2001, IEEE Intell. Syst..

[5]  Leon Sterling,et al.  The Art of Prolog , 1987, IEEE Expert.

[6]  Chutiporn Anutariya,et al.  A Data Model for XML Databases , 2001, Journal of Intelligent Information Systems.

[7]  Hisao Tamaki,et al.  Unfold/Fold Transformation of Logic Programs , 1984, ICLP.

[8]  John Darlington,et al.  A Transformation System for Developing Recursive Programs , 1977, J. ACM.

[9]  Alberto Pettorossi,et al.  Synthesis and Transformation of Logic Programs Using Unfold/Fold Proofs , 1999, J. Log. Program..

[10]  Chutiporn Anutariya,et al.  RDF Declarative Description (RDD): A Language for Metadata , 2001, J. Digit. Inf..

[11]  Kiyoshi Akama,et al.  A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation , 2001, RULE@PLI.

[12]  Vilas Wuwongse,et al.  KNOWLEDGE-BASED INCONSISTENCY DETECTION IN UML MODELS , 2005 .

[13]  David Sands,et al.  Total correctness by local improvement in the transformation of functional programs , 1996, TOPL.

[14]  Jiří Vyskočil,et al.  Transformation of Logic Programs , 2008 .

[15]  Chutiporn Anutariya,et al.  Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory , 2004 .

[16]  Kiyoshi Akama,et al.  Formalization of the Equivalent Transformation Computation Model , 2006, J. Adv. Comput. Intell. Intell. Informatics.

[17]  M. Sørensen,et al.  Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments , 1999, J. Log. Program..