摘要：Ｓｍａｌｌｔａｌｋ—８０是原型的面向对象程序设计语言和环境．本文简要地给出了Ｓｍａｌｌｔａｌｋ－８０的形式模型，并基于该模型描述了Ｓｍａｌｌｔａｌｋ—８０的静态和动态指称语义．

摘要：文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构。在此基础上,进一步扩充和完善,并根据指称语义的原理和方法,用结构归纳法给出动态模糊逻辑程序设计语言的指称语义,主要包括:动态模糊程序设计语言的语义域、语义函数及其指称语义。最后给出了一个动态模糊程序设计语言的例子以观察程序的运行过程。

摘要：就语言的指称语义分别讨论了智能神经网络程序设计语言NIPL中有关规则的动、静态语义,从而建立了NIPL中规则的数学模型。

摘要：继承被认为是面向对象程序设计的重要特征之一，如何解释继承一直是面向对象形式语义研究的难题．本文针对继承关系的一种形式一一对象间行为规范的继承，即子类型关系，探讨了其指称语义．基本思想是将子类型关系视为类型强制，通过类型强制函数将子类型对象解释父类型域中．

摘要：　　0引言　　可扩展标记语言XML是W3C根据标准通用标记语言SGML设计的,是SGML的一个子集.XML替代HTML成为第二代Web应用的基础,也是下一代网络应用的基石[1,2].……

摘要：VHDL是一种广泛使用的硬件描述语言。但长期以来缺乏严格的形式语义。文章介绍并分析了若干具有代表性的VHDL指称语义的研究工作。在此基础上,简要介绍了作者提出的基于时段逻辑的VHDL语义的框架时对VHDL指称语义的看法。

摘要：在研究关于 CSP并发指称语义的不同研究方法的基础之上 ,利用广义状态的概念和完备距离空间作为指称的方法 ,讨论了 OCCAM的一个子集 OCCAM/ TOY的并发语义。针对目前交叠并发语义研究方法的问题和不足 ,首先在 OCCAM/ TOY的语法中引入了一类具体的原子语句 ,并从语义上考虑了原子语句的语义对整个程序语义的影响 ;其次 ,对于通常语义方法中合并处理的一对通信原语的一次通信分开处理 ,描述了单个通信步骤的语义及其对程序的影响。在构造语义域时 ,利用完备距离空间作为指称 ,讨论了在距离空间范畴中语义域议程的解的存在性 ;并且在定义语义函数时 ,保证了递归定义的语义函数的存在性。给出了 OCCAM/ TOY的完全意义上的并发指称语义 ,既体现了由于并发而导致的执行过程的不确定性 。

摘要：本文利用形式化的方法对System Verilog的指称语义进行研究,采用EBES(extended bundle event structure)作为抽象模型,以便更好的描述System Verilog真并发的特点。我们的主要工作是:首先,通过对System Verilog语言的认真学习,从中抽取出一个尽可能多的包含其语法的真并发子集;其次,利用进程代数LOTOS描述其基于EBES模型的指称语义,以提供一个准确的、无二义性的System Verilog文档,避免硬件设计中的逻辑性错误。

摘要：在计算机科学中,形式语义学以数学为工具,精确地定义和解释计算机程序设计语言的含义或语义.其中操作语义学和指称语义学是形式语义学的两大类别.本文使用简单的命令式语言IMP的语法,首先给出了repeat-until循环语句的操作语义,然后详细推导出了其指称语义,并在此基础上详细证明了它们二者之间的语义等价性.

摘要：智能神经网络程序设计语言NIPL是应用智能神经网络系统理论、开发智能神经网络应用系统的有力工具。着重讨论了NIPL中有关规则的指称语义 ,从而建立了NIPL中逻辑规则的数学模型 ,为使用该语言来方便地建立智能神经网络应用系统奠定了基础。