形式語義學中的序結構和邏輯結構

《形式語義學中的序結構和邏輯結構》是依託上海師範大學，由陳儀香擔任項目負責人的面上項目。

基本介紹

• 中文名：形式語義學中的序結構和邏輯結構
• 項目類別：面上項目
• 項目負責人：陳儀香
• 依託單位：上海師範大學
• 負責人職稱：教授
• 批准號：69873034
• 申請代碼：F0203
• 研究期限：1999-01-01 至 2001-12-31
• 支持經費：8萬元

項目摘要

計算機語言的形成語義是計算機科學理論的重要研究領域，其研究成果對程式設計、軟體形式化、編譯技術、分散式系統等分支領域有重大的實際意義。本項目主要研究計算機語言的形式語義中序結構、邏輯結構、用數學的序理論、代數理論及範疇理論進一步探討論域理論、非Hoare型邏輯、不確定程式語義、PCF語言的全抽象性、及∑代數和項理論。