Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
Add to Favorite Get Latest Update

Program Developing System with Theorem Prover Embedded in

Sun Yongqiang, Yang Jifeng, Lu Chaojun, Shao Zhiqing + Department of Computer Science & Engineering, Shanghai Jiaotong University, China + Department of Computer Science, East China University of Science and Technology  
As a rewriting techniques based program development system, it provides an enhanced functional language and algebraic specification language mixed language. The language has optimal rule and test equation declaration mechanisms. The optimal rule can optimize code and satisfy special requirements. By the test equation declaration mechanism, programmer can test the program by giving some test equations in the program. The testing is performed before the generation of the executable code. The proving of optimal rule and test equation is performed by a theorem prover which can help to improve the correctness of program and to shorten the program development cycle time.
【Fund】: 国家九五科技攻关基金
【CateGory Index】: TP311,
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved