程序的结构合成-一流百科

程序的结构合成

程序的结构合成程序的结构合成（SSP）是一种基于命题微积分的（自动）程序合成的特殊形式。更确切地说，它使用直觉逻辑来描述程序的结构，使程序可以由子程序...