基於邏輯的面向對象語言模型的研究

基於邏輯的面向對象語言模型的研究

《基於邏輯的面向對象語言模型的研究》是依託中國科學院數學與系統科學研究院,由金芝擔任項目負責人的青年科學基金項目。

基本介紹

  • 中文名:基於邏輯的面向對象語言模型的研究
  • 項目類別:青年科學基金項目
  • 項目負責人:金芝
  • 依託單位:中國科學院數學與系統科學研究院
  • 批准號:69403001
  • 申請代碼:F0203
  • 負責人職稱:教授
  • 研究期限:1995-01-01 至 1997-12-31
  • 支持經費:6(萬元)
項目摘要
本項目在分析國內外面向對象程式設計模型及理論最新研究成果的基礎上,提出了一種基於邏輯的面向對象語言模型。在此基礎上,首先深入研究了基於“序”結構的常規繼承及其理論組合操作,並證明了基於按“序”組合觀點的繼承模型的完備性;其次研究了訊息目標的高階特徵,並建立了訊息目標的邏輯計算機制;最後定義了該模型的描述性語義和過程性語義,研究了其正確性和完備性,建立了該語言模型的完整的語義體系。主要研究成果包括一個實驗系統和8篇學術論文。本項目從邏輯的觀點出發,通過對面向對象邏輯語言的研究,得出了面向對象範例中主要語義元素的邏輯語義,並建立了一個完備的計算模型,為面向對象範例提供了邏輯基礎。

相關詞條

熱門詞條

聯絡我們