该文简单介绍基于ｔａｂｌｅａｕ方法的程序综合系统－－ＤＴＰＳ。ＤＴＰＳ系统以定理证明为基础，为构造一个满足程序规格的程序，只需证明的确存在一个满足条件的对象。......

本文简单介绍了基于Ｔａｂｌｅａｕ方法的程序综合系统－ＤＴＰＳ．ＤＴＰＳ系统以定理证明为基础，为构造一个满足程序规约的程序，只需证明的确存在一个满足条件的对象。......