APT程序自动生成器的设计与实现  

The Global Properties of Valid Formulas in Modal Logic K

作　　者：李永才[1] 颜军[1] 陶则民[1] 

机构地区：[1]国防科技大学

出　　处：《计算机应用研究》1996年第3期34-36,共3页Application Research of Computers

摘　　要：本文介绍了一个在ＳＹＢＡＳＥＡＰＴ环境下开发的程序自动生成器，文中介绍了其设计思想及实现技术，并提出了用模板法实现程序自动生成的方法。

关 键 词：APT 程序自动生成器 程序设计 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]