普里兹

编程系统PRIZ。programming system PRIZ将传统编程技术与从规范中自动合成程序相结合。它使人们能够根据应用程序域的描述来构建规范。它们被自动编码到命题演算中,并被系统用于程序综合。PRIZ不局限于任何特定的问题域,但适用于解决一类称为计算问题的程序综合。从理论上讲,它具有直觉命题演算的演绎能力。