可执行-一流百科

细化微积分

细化微积分细化微积分是一种用于逐步细化程序构造的正式方法。最终可执行程序的预期行为被指定为一个抽象的，也许是不可执行的程序，然后通过一系列保持正确...