程序設(shè)計(jì)語言概論(編輯修改稿)
2025-08-16 06:59 本頁面
【文章內(nèi)容簡介】 建模 /規(guī)約、實(shí)現(xiàn)、驗(yàn)證 ? 公理語義 ? 程序正確性證明 第五章 ? 數(shù)據(jù)對(duì)象 ? 數(shù)據(jù)對(duì)象的屬性 ? 數(shù)據(jù)值 ? 數(shù)據(jù)類型 ? 數(shù)據(jù)類型的構(gòu)成 ? 類型的轉(zhuǎn)換 ? 常見基本數(shù)據(jù)類型的實(shí)現(xiàn) 第六章 ?常見結(jié)構(gòu)化數(shù)據(jù)類型的實(shí)現(xiàn) ?常見的抽象機(jī)制 ? 結(jié)構(gòu)化數(shù)據(jù)、子程序、類型聲明、繼承 ?抽象數(shù)據(jù)類型 ? 信息隱蔽與封裝 ?子程序 ? 定義與激活、激活的生命周期 ?類型檢查與等價(jià) ? 強(qiáng)類型、弱類型、靜態(tài)與動(dòng)態(tài)檢查 ? 類型等價(jià) 與 數(shù)據(jù)對(duì)象相等 第七章 ?繼承 ? 繼承的根源 ? 對(duì)象的派生、方法的繼承
黨政相關(guān)相關(guān)推薦
鄂ICP備17016276號(hào)-1