• Articles • Previous Articles     Next Articles

Partial Completion of Equational Theories

SUN Yongqiang; LIN Kai; LU Chaojun;   

  1. Department of Computer Science and Engineering; Shanghai Jiao Tong University Shanghai 200030; P.R. China ;
  • Online:2000-11-10 Published:2000-11-10

In this paper, the notion of partial completion of equational theories is proposed, which is a procedure to construct a confluent term rewriting system from an equational theory without requirement of termination condition. A partial completion algorithm is presented with a brief description of its application in a program development system.

Key words: direct model checking (DMC); Kripke semantics structure; CTL logic; matrix algorithm;



[1] Knuth D E, Bendix P B. Simple word problems in universal algebras. In Computational Problems in Abstract Algebra, Leech J (ed.),Pergamon Press, 1970,pp.263-297.

[2] Huet G, Oppen D C. Equations and rewrite rules: A survey. In Formal Language Theory: Perspectives and Open Problems, Book R V (ed.), Academic Press, 1980, pp.349-405.

[3] Huet G. A complete proof of correctness of the Knuth-Bendix completion algorithm. Journal of Computer Science and System, 1981, 23:11-21. ……….
[1] Zhi-Hong Tao, Hans Kleine Büning, and Li-Fu Wang. Direct Model Checking Matrix Algorithm [J]. , 2006, 21(6): 944-949 .
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] Shen Li;. Testability Analysis at Switch Level for CMOS Circuits[J]. , 1990, 5(2): 197 -202 .
[2] Wu Xindong;. Inductive Learning[J]. , 1993, 8(2): 22 -36 .
[3] Tang Weiqing; Wen Sili; Liu Shenquan;. An Object-Oriented Model ofUser Interface Generation Tool[J]. , 1994, 9(3): 275 -284 .
[4] Schubert Foo; Siu Cheung Hui;. System Architectural Design for DeliveringVideo Mail over the World-Wide-Web[J]. , 1997, 12(4): 372 -385 .
[5] WU Xunwei; Massoud Pedram;. Bounded Algebra and Current-Mode Digital Circuits[J]. , 1999, 14(6): 551 -557 .
[6] Heng Li, Jin-Song Liu, Zhao Xu et al.. Test Data Sets and Evaluation of Gene Prediction Programs on the Rice Genome[J]. , 2005, 20(4): 446 -453 .
[7] Hua Li, Shui-Cheng Yan, and Li-Zhong Peng[1]. Robust Non-Frontal Face Alignment with Edge Based Texture[J]. , 2005, 20(6): 849 -854 .
[8] Sheng Li and Tie-Jun Zhao. Chinese Information Processing and Its Prospects[J]. , 2006, 21(5): 838 -846 .
[9] Hong Mei, Dong-Gang Cao, and Fu-Qing Yang. Development of Software Engineering: A Research Perspective[J]. , 2006, 21(5): 682 -696 .
[10] Wen Zheng, Jun-Hai Yong, and Jean-Claude Paul. Visual Simulation of Multiple Unmixable Fluids[J]. , 2007, 22(1): 156 -160 .

ISSN 1000-9000(Print)

         1860-4749(Online)
CN 11-2296/TP

Home
Editorial Board
Author Guidelines
Subscription
Journal of Computer Science and Technology
Institute of Computing Technology, Chinese Academy of Sciences
P.O. Box 2704, Beijing 100190 P.R. China
Tel.:86-10-62610746
E-mail: jcst@ict.ac.cn
 
  Copyright ©2015 JCST, All Rights Reserved