hoare 中文意思是什麼
hoare
解釋
霍爾-
In this dissertation we present a general, extensible methodology that examines cryptographic protocols. our approach is specify a protocol in cpal ( cryptographic protocol analysis language ), apply hoare and dijkstra ? theory of formal semantics to it, analysis it ? forma ] semantics, define weakest precondition of each kind of language statement
我們的方法就是用cpal （ cryptographicprotocolanalysislanguage ）語言來表示協議，將hoare和dijkstra在形式語義方面的理論應用到該語言，分析該語言的形式語義，定義每種語句的最弱前置條件。 -
The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc, dfo, dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics
主要內容包括:變形傳統的演算，以更好地描述具有動態模糊性的問題;通過bnf描述了dfl程序設計語言的抽象語法;通過一個三元組< dfsc ， dfo ， dfss >給出了dfl程序設計語言的操作語義模型;給出了dfl程序設計語言的基本框架結構;給出了該操作語義模型的一些應用實例;通過hoare邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見，本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。 -
21 majster - cederbaum m, salger f. towards the hierarchical verification of reactive systems. theoretical computer science, 2004, 318 : 243 - 296. 22 winskel g. an introduction to event structures. lecture notes in computer science 354, 1989, pp. 364 - 397. 23 hoare c a r. communicating sequential processes, prentice - hall, 1985
本文分別在語法和語義層次上對動作精化進行了定義，並證明了這兩個層次的動作精化在前述兩種等價關系下，關於一種基於完全偏序的指稱語義是一致的。 -
Addison wesley, 1999. 10 hoare c a r. communicating sequential processes
這種方法的實際實現通過一個第三代移動通信安全演算法進行了驗證。
分享友人