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