您要查找的是不是：
- formal denotational semantics 形式表示语义
- 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. 在本节中我们概览作为指称语义的最初主题的函数式递归程序的语义。
- 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，这是它具有正确性和数学严格性的基础。
- 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. 给予带有自由变量的一个程序段的指称语义，依据它从它的环境类型的指称到它的类型的指称的连续函数。
- Denotational Semantics Transform from Continuation to Direct 接续到直接的指称语义转换
- We were invited to a formal luncheon. 我们被邀参加一次正式的午宴。
- He cast his last remark in more formal wording. 他用更正式的措词表达了最后一句话。
- Don't you be so fucking formal with me. 别你他妈的对我这么一本正经了。
- The letter is written in formal style. 这封信是用正式文体写的。
- Modern life trends towards less formal customs. 现代生活倾向于较少拘泥于客套习俗。
- The job does not require any formal training. 做这种工作不需要任何正规训练。
- The formalization denotation language RDL (RCM Definition Language) is founded and used to describe DD-RCM models. 定义DD-RCM建模方法的形式化描述语言(DD-RCM Definition Language，RDL)、RDL元语言组成和DD-RCM模型的RDL描述；
- A Denotational Semantic of Analogy JAVA Language 一个类Java语言的指称语义
- I'm composing a formal reply to the letter. 我正写一封郑重其事的回信。
