摘要
本文扩充了[1]的谓词演算系统。提出了基于时态逻辑公式演绎的程序设计方法,并以实例阐明了这方法的有效性和可行性。最后,从理论上证明了这一结果。
This paper extends the predicate deduction system in the reference [1].On the basis of temporal logical formula deduction,a programming methed isproposed,and then the validity and feasibility of this method are demonstrated withsome examples.Finally,its correctness is proved theoretically.
出处
《计算机应用与软件》
CSCD
1989年第1期12-20,共9页
Computer Applications and Software
