99精品伊人亚洲|最近国产中文炮友|九草在线视频支援|AV网站大全最新|美女黄片免费观看|国产精品资源视频|精彩无码视频一区|91大神在线后入|伊人终合在线播放|久草综合久久中文

您好,歡迎來(lái)電子發(fā)燒友網(wǎng)! ,新用戶(hù)?[免費(fèi)注冊(cè)]

您的位置:電子發(fā)燒友網(wǎng)>源碼下載>數(shù)值算法/人工智能>

通過(guò)抽象程序證明復(fù)雜具體程序

大?。?/span>2.10 MB 人氣: 2017-12-29 需要積分:3

   描述了證明抽象程序和具體程序滿足一致性關(guān)系的方法.抽象程序使用抽象數(shù)據(jù)結(jié)構(gòu)(ADTs),如set,list,map及其上的操作,具體程序使用類(lèi)C語(yǔ)言中的類(lèi)型.抽象程序和具體程序一致性證明需要用戶(hù)給出抽象變量和具體變量的關(guān)系、抽象程序程序點(diǎn)和具體程序程序點(diǎn)的對(duì)應(yīng)關(guān)系,基于對(duì)應(yīng)關(guān)系,抽象程序和具體程序一致性證明可以分解,從而容易并可能自動(dòng)證明.

通過(guò)抽象程序證明復(fù)雜具體程序

非常好我支持^.^

(0) 0%

不好我反對(duì)

(0) 0%

      發(fā)表評(píng)論

      用戶(hù)評(píng)論
      評(píng)價(jià):好評(píng)中評(píng)差評(píng)

      發(fā)表評(píng)論,獲取積分! 請(qǐng)遵守相關(guān)規(guī)定!

      ?