单词 |
denotational semantics |
释义 |
1 [计]?指称语义 指称语义(Denotational Semantics) 指称语义学认为,程序设计语言的语义是由其语言成份的语义决定的,而程序设计语言 成份的语义应该是其本身固有的,与程序设计语... 2 ?指称语义学 1973年straehy和scott提出了指称语义学(denotational semantics)〔‘〕,取得了形式语义理论的一次重大突破. IBM维也纳实验室基于指称语义学提出了著名的规范描述的形式方法一维也纳开发方法. 3 ?标志语意 ... 标志描述 denotational description 标志语意 denotational semantics 标志语意语言 Denotational Semantics Language ... 4 [计]?外延语义学 ... 外延迟时间 external delay time 外延语义学 denotational semantics 外因延迟 external delay ...
- 1
The fixed point of continuous function is an important content in denotational semantics, which specifies the computing properties of programs. 连续函数的不动点是指称语义的一个重要内容,它刻画了程序的计算性质。 - 2
In this paper, we take probabilistic event structures as our semantic model and provide a metric denotational semantics for probabilistic process algebra. 本文中,我们采用概率事件结构作为语义模型,研究了概率进程代数的度量指称语义。 - 3
Some algebraic laws of Timed RSL are presented, which can be proved from the denotational semantics, and be used in program transformation and optimization. 最后还给出了时间化RSL的一些代数定律。 这些定律可以从其指称语义证明,并用于程序的转化和优化。
|
随便看 |
- injury
- injury
- Injury,Abdominal
- Injury,Abducens Nerve
- injury accident
- Injury,Acute Brain
- Injury,Acute Lung
- Injury and Wounds
- Injury,Ankle
- Injury,Anoxic Brain
- Injury,Arm
- Injury,Athletic
- Injury,Back
- injury benefit
- Injury,Birth
- Injury,Blast
- injury block
- Injury,Blunt
- Injury,Brain
- Injury,Brain Anoxic
- Injury,Brain,Chronic
- Injury,Brain Hypoxic
- Injury,Brain,Traumatic
- injury by accident
- injury by falling
|