denotational semantics 中文意思是什麼
-
The study of denotational semantics of vhdl
西方語言哲學研究的現狀與前景 -
Equivalence proving of operational and denotational semantics about repeat - until statement
語句的操作語義與指稱語義的等價性證明 -
It is shown that the proposed refinement approaches have the commonly expected properties : the behaviour of the refined process can be inferred compositionally from the behaviour of the original process and from the behaviour of the processes substituted for actions ; the timed extensions of pomset partially ordered multiset trace equivalence and history preserving bisimulation equivalence are both congruences under the refinement ; the syntactic and semantic refinements coincide up to the aforementioned equivalence relations with respect to a cpo - based denotational semantics
然而，對于並發系統來說，時間指標是一個至關重要的因素，很多現實生活中的並發系統都跟時間密切相關，另外，緊急事件在實時並發系統中也是常見的現象，在已研究的動作精化理論當中緊急事件都僅僅只限於用來模擬超時事件，並且是不能被精化的，這對于很多現實系統來說是一個很大的限制。 -
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邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見，本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。
分享友人