程式正確性理論(theory of program correctness)程式設計理論的一個重要組成部分。
程式正確性理論(theory of program correctness)程式設計理論的一個重要組成部分。研究如何使用程式設計語言編製程序，以正確實現預定的目標.程式正確性理論提出編制正確程式的兩種途徑一種稱為程式驗證...
程式驗證是指研究程式正確性的理論，即要證明程式達到某種預定目的的任務。美籍匈牙利科學家J.諾伊曼於1947年發表的論文中就提到程式正確性證明。美國科學家R.W.弗洛依德於1967年系統地提出驗證程式正確性的歸納斷言方法，引起了計算機科學界...
程式語義理論 程式是用程式語言編寫的，研究程式的規約、變換和驗證，必須首先給出程式語言的語義。這種語義用數學方法刻畫程式語句的加工過程，並將其執行結果形式化。所以，程式語義也叫形式語義。形式語義描述技術的本質是用嚴格的數學方法...
多物理程式建模與模擬的正確性驗證技術與可信度確認方法已成為阻礙科學理論探索、工程精密化設計和系統性能評估的絆腳石，嚴重製約著高端套用領域自主創新的能力。美國推出ASC 等一系列宏偉計畫，其目的就是要發展強預測能力的高可信度套用軟體...
Hoare邏輯是基於上述斷言方法的程式驗證系統，它是一階謂詞邏輯的擴充，用於證明程式的部分正確性。形式語義學是程式設計理論的主要組成部分。70年代程式設計理論研究的主要課題是大型程式的設計方法。對於複雜而龐大的大型程式設計，原先的簡單...
根據錫博特(John W.Thibaut)和華爾克(Lanren walker)的觀點，程式公正性是指對於決策制定者使用政策、程式、準則以達成某一爭議或協商結果的公平知覺。程式公正性理論認為，人們會依據決策結果所產生的程式對決策結果做出反應，並且在本質上...
四、適用程式正義原則的法律限制 五、評價 第六章 主觀的程式正義理論——程式正義的社會心理學研究 一、問題的提出 二、蒂伯特和沃克的程式控制理論 三、林德和泰勒的主觀程式正義理論 四、泰勒的合法性理論 五、主觀程式正義研究的貢獻...
〔12〕程式本位主義認為，評價法律程式好壞優劣、判斷法律實施活動是否成功的唯一標準，是程式本身是否具備一些公認的內在優秀品質，而不是它作為實現某種外在目的手段的有用性。根據這種理論，法院判決的正確與否終究是很難檢驗的，因為實體...
否定的結論是，GOTO語句是有害的，是造成程式混亂的禍根，程式的質量與GOTO語句的數量呈反比，應該在所有高級程式設計語言中取消GOTO語句。取消GOTO語句後，程式易於理解、易於排錯、容易維護，容易進行正確性證明。作為爭論的結論，1974年...
《資源感知的程式邏輯理論及資源安全性推理》是依託深圳大學，由秦勝潮擔任項目負責人的面上項目。項目摘要 電腦程式的運行離不開系統資源，如記憶體，CPU時間，能源供給等。合理、正確地使用這些系統資源是程式安全性和正確性的一個重要方面...
本書可作為程式設計方法學或計算機科學理論課程的教材或教學參考書，可供有關專業高年級學生、研究生、教師，以及科技工作者參考。圖書目錄 目錄 符號表 第一章 引言 第二章 計算模型 第三章 驗證方法 第四章 部分正確性的證明方法 ...
第一章 程式合法性之概說 第一節 基本內涵 第二節 歷史嬗變 第三節 訴訟地位 第二章 程式合法性之根基 第一節 法治理論 第二節 分權制衡理論 第三節 人性理論 第四節 人權保障理論 第三章 程式合法性之價值 第一節 ...
1974年以後R.科瓦爾斯基進一步闡明了PROLOG的理論基礎，並系統地發展了邏輯程式設計的思想。對於傳統的程式設計來說，算法的邏輯意義往往被程式複雜的控制成分所掩蓋，使程式的正確性難以得到證明。而且通常的高級程式設計語言屬於過程性語言，...
正確性證明 正確性證明（correctness proof）是2018年公布的計算機科學技術名詞。定義 證明程式滿足其規約的過程。出處 《計算機科學技術名詞 》第三版。
第5章抽象解釋的兩個理論模型 5.1抽象解釋全總域模型 5.1.1構造全總域模型 5.1.2理論性問題 5.2抽象解釋部分等價邏輯關係模型 5.2.1具體語義域和語義函式 5.2.2抽象解釋 5.2.3理論問題 第6章程式正確性形式演繹證明 6.1...
從1956年A.Newell，J.C.Shaw,H.A.Simon發表他們的著名論文“邏輯理論機”算起，自動定理證明這個研究領域已經有近四十年的歷史了。邏輯理論機是機械地模仿人類在證明命題邏輯定理時所用的推導過程。1959年 H.Gelernter 等人做出了幾何...
