分离逻辑-一流百科

分离逻辑

简介在计算机科学中，分离逻辑是Hoare逻辑的延伸，是一种程序推理方式。它是由JohnC.Reynolds,PeterO'Hearn,SaminIshtiaq和HongseokYang借鉴RodBurstall的早...

词条百科