大家在查：视觉敏锐度 Hebb学习规则训练周期自动故障诊断结构模式识别程序设计方法学相关需求库存虚拟大会微吼药品非临床研究

指称语义

网络denotational semantics

指称语义

指称语义

指称语义

denotational semantics

指称语义(denotational semantics) 把语言成分映射为数学对象，然后用定义在对象上的运算所表达出的语言的语义。指称语义 …

1

The concept of power domains has been developed to give a denotational semantics to non-deterministic sequential programs .

要给出非确定性程序顺序程序指称语义，研究者已经开发出了幂域理论。

2

In this section we review the semantics of functional recursive programs which were the initial subject matter of denotational semantics .

在本节中我们概览作为指称语义的最初主题的函数式递归程序的语义。

3

One must also develop a denotational semantics for function abstraction and application .

还必须开发函数抽象和应用的指称语义。

4

Denotational Semantics Transform from Continuation to Direct

接续到直接的指称语义转换

5

The Method of Denotation Semantics Based on Trace

基于轨迹的指称语义方法

热词推荐

大家在看