1) metric denotational semantics
度量指称语义
2) Denotational Semantics
指称语义
1.
Equivalence proving of operational and denotational semantics about Repeat-until statement;
Repeat-until语句的操作语义与指称语义的等价性证明
2.
The static and dy-namic denotational semantics of Smalltalk-80 are described through the formal model.
本文简要地介绍了Smalltalk-80的基本概念和抽象文法,给出了其形式模型,并基于该模型描述了Smalltalk-80的静态指称语义和动态指称语义。
3.
The fixed point of continuous function is an important content in denotational semantics,which specifies the computing properties of programs.
连续函数的不动点是指称语义的一个重要内容,它刻画了程序的计算性质。
3) Denotational Semantic
指称语义
1.
This paper also gives the denotational semantics of the based I/O CCALL operational.
针对PeytonJones&Wadler在IOMonad设计的一个基于状态转换的函数I/O系统中 ,存在着某状态没有显式地反应在IO类型中 ,为了克服诸于此类问题 ,定义了状态转换器及其状态组合子 ,统一处理了PeytonJones&Wadler的IO类型 ,并给出了基本I/O操作ccall的指称语义 。
4) direct denotational semantics
直接指称语义
5) continuation denotational semantics
接续指称语义
6) semantic significatio scale
语义指称范围
补充资料：指称语义
指称语义
denotational semantics
zhieheng yUyl指称语义(denotational ser口antics)把语言成分映射为数学对象，然后用定义在对象上的运算所表达出的语言的语义。 指称语义的主要思想是英国牛津大学C.Stra-chey于1%4年前后提出的。美国D.致乃}t创建的论域理论为指称语义学奠定了数学基础。论域理论是讨论各种语言成分指称物的数学结构，以及提供在这种数学结构上定义语言成分的语义和推导语言D匡。飞+。2〕(S)=D匡。1卫(S)+D迁。2习(S) D江el X eZ卫(S)=D匡el丑(S)XD江eZ刀(S) 第一个公式表示，无论程序处于何种状态S，常量n的值不变，为数学中相应的量n。为了区分元语言和程序设计语言，指称语义定义中将程序设计语言中的成分用江及卫括起来。 第二个公式表示，变量xl在状态5时的值为数值向量S的第i个分量尽。 第三、四个公式表示，表达式(。1+。2)和。 lx。2在状态S时的值分别为子表达式。1和仑2在状态S时的值的和与积。 表达式的抽象语法规定如何用最简单的表达式常量和变量构成其他表达式。而表达式的语义定义也是先给出最简单的表达式的语义，然后按照语法的构造过程去定义其他表达式的语义，使得复合成分的语义由各成分语义复合而成。这种定义语义的方法叫作结构式方法，或叫语法引导方法。指称语义学就是一种结构式形式语义学。执行程序设计语言中的语句导致程序状态的改变(即程序变量取值的改变)，故语句的指称物应是State至State的映象:State~State。定义语句的语义就相当于定义映象D: D:StS~(State~State) Sts表示所有语句的集合。如表示赋值语句(xi:一，的语义“p改变状态S为s…月江·’‘S，。s{母旺一‘·，表示将S中的第i个分量(即x，的值)改变为表达式e在状态S时所取的值(即D匡。卫(S))。 D匡51; 52卫(S)=D匡52丑(D匡S，卫(S)) 这表示顺序执行语句Sl和52，即先执行Sl，并将执行Sl后形成的新状态，作为当前状态再执行52。 实际的程序设计语言非常复杂，所定义的语义映象比之上文列举的远为复杂。为了允许同名变量在不同过程体中表示的值不同，指称语义中引进环境的概念;为了刻画程序控制的转移又引进后续的概念，这些概念在描述和简化语义定义中有重要的作用。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条