您要查找的是不是:
- One must also develop a denotational semantics for function abstraction and application. 还必须开发函数抽象和应用的指称语义。
- This paper provides a denotational semantics to a subset of Timed RAISE Specification Language (RSL) using Extended Duration Calculus (EDC) model. 使用扩展的持续时间演算 ( EDC)模型 ;给出了时间化的 RAISE描述语言 ( RSL )的一个子集的指称语义 .
- The concept of power domains has been developed to give a denotational semantics to non-deterministic sequential programs. 要给出非确定性程序顺序程序指称语义,研究者已经开发出了幂域理论。
- The fixed point of continuous function is an important content in denotational semantics, which specifies the computing properties of programs. 摘要连续函数的不动点是指称语义的一个重要内容,它刻画了程序的计算性质。
- On one end of the spectrum are powerful frameworks such as Hoare logic, algebraic specification languages, modal logics, and denotational semantics. 在涉及面的一端是强大的框架,像Hoare逻辑、代数规范语言、模型逻辑和形式语义学。
- In this section we review the semantics of functional recursive programs which were the initial subject matter of denotational semantics. 在本节中我们概览作为指称语义的最初主题的函数式递归程序的语义。
- 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的一些代数定律 .;这些定律可以从其指称语义证明;并用于程序的转化和优化
- A denotational semantics is given to a program phrase with free variables in terms of a continuous function from the denotation of its environment type to the denotation of its type. 给予带有自由变量的一个程序段的指称语义,依据它从它的环境类型的指称到它的类型的指称的连续函数。
- The formal semantics of RT-Z, based on the denotation semantics of Z and timed CSP, is a prerequisite for preciseness and mathematical rigour. RT-Z的语义基于Z和timed CSP,这是它具有正确性和数学严格性的基础。
- Denotational Semantics Transform from Continuation to Direct 接续到直接的指称语义转换
- A Denotational Semantic of Analogy JAVA Language 一个类Java语言的指称语义
- Keywords Hardware Synthesis;Resource Models;System Level Design Language;Denotational Semantics;Compiler; 硬件综合;资源模型;系统描述语言;指称语义;编译器;
- formal denotational semantics 形式表示语义
- denotational semantics 外延语义学,标志语义
- Denotational Semantics of OCCAM 并发语言OCCAM的指称语义
- The lexical semantics thereby become their core. 在这裹,语义词典成了核心中的核心。
- The research of image semantics is a new field. 图像语义是研究图像模式识别与图像检索的一个新理论。
- "Semasiology" is a variant name for "semantics". “Semasiology”是“semantics”的异名。
- WAITFOR does not change the semantics of a query. WAITFOR不更改查询的语义。
- ETC: A Review of General Semantics. 普通语义学评论。