1) semantic significatio scale
语义指称范围
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) Range and Semantic types
范围及语义类型
5) direct denotational semantics
直接指称语义
6) continuation denotational semantics
接续指称语义
补充资料：语义
语义
semantics
yUyl语义(哭mantics)语言的各个成分的含义。在程序设计语言中，即程序的含义。程序设计语言的语义，一般在语言文本中用自然语言描述，说明用该语言编写的程序的意义，即在计算机上执行时将会做什么。常用的程序设计语言语义的形式描迩方法有:公理语义，代数语义，指称语义和操作语义(参见形式方法)。 语义分奋态语义和动态语义。静态语义指程序的编译含义，即编译程序对程序的理解，包括量的作用域法则、说明、类型匹配等。编译时无法理解、而要到运行时才能理解的含义称为动态语义。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条