Goedel語言是一種說明性邏輯程序設(shè)計語言。該語言基于一階邏輯，引入了一個多態(tài)多類的類型系統(tǒng)和多種新的語言成分，支持抽象數(shù)據(jù)類型和模塊化程序設(shè)計等技術(shù)，語言本身也具有很強(qiáng)的說明性語義。詳細(xì)介紹了Goedel語言的類型系統(tǒng)及其構(gòu)造，對在邏輯程序設(shè)計語言中引入類型系統(tǒng)的作用進(jìn)行了一些深入的分析和討論。[
標(biāo)簽：
Goedel
語言
邏輯
程序設(shè)計語言
上傳時間：
2014-11-26
上傳用戶：BIBI
