一种基于模块单子语义的动态程序切片方法

提出一种基于程序模块单子语义的新动态切片方法———模块单子动态切片.首先通过单子转换器,将切片这一类计算抽象成独立于具体语言的实体:切片单子转换器.然后,将该切片转换器作为模块加载到实际程序中,并给出相应的模块单子动态切片算法.据此,可直接在抽象语法结构上计算动态切片,不必记录程序执行历史;相应单子切片器也无需显式地构造诸如依赖图的中间结构.这种模块化抽象机制使得文中的动态切片算法具有很强的可扩展性和重用性.

论莫斯科语义学派的语义元语言

元语言是描写语言意义的工具语言。莫斯科语义学派的元语言不仅是词典释义的描写工具,而且是理论语义学的研究工具。本文将讨论莫斯科语义学派元语言观的形成发展以及元语言在理论语义学研究中的应用。

莫斯科语义学派视域下动词的语义类别

动词的分类直接关系到句子结构关系、语义关系的分析和句子格局的确立。本文利用Ю.Д.Апресян提出的谓词的基础分类,借助谓词的分析释文及其中显现的语义单子、过渡词汇单位、语义夸克,在语义的基础上对动词的类别及类别间的相互关系、次类别及其主要语义、语法特征进行梳理。

形式语义描述方法研究进展与评价

程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及安全协议形式化描述、分析验证与设计等都有着重要的意义。但不同于成熟统一的形式化语法描述技术,语义的形式描述技术尚处于蓬勃发展和多种技术并存时期。首先回顾形式语义描述方法的研究发展史;然后通过实例介绍当前主要的语义形式描述方法;最后给出这些方法的评价标准和比较结果,并指出最有发展潜力的语义描述方法,以及将来的发展方向。

一种过程间单子切片方法

在现有的过程内单子切片算法基础上,提出基于回填待定标号的过程间单子切片算法:先以待定标号初始化子过程中开始处参数变量的切片;再对其进行过程内单子切片分析,据此可得相应参数间依赖关系;最后回填切片表中相应的待定标号,从而获得所需的过程间单子切片.算法充分利用了过程内单子切片的结果,相当程度上避免了重复计算,无需进一步构造诸如特征子图、连接语法等中间形式,同时通过参数间依赖避免了调用上下文问题.此外,文中算法保留了过程内单子切片算法的强语言适应性和组合性.

含过程程序的单子切片(英文)

为解决含过程程序的单子切片问题,提出基于回填待定标号的两阶段单子切片算法.算法第1阶段用给定标号初始化子过程的形参切片表,并通过分析调用语句捕获被调者对调用者的影响.算法第2阶段主要是通过回填切片表中相应的待定标号来捕获施调者对被调者的影响.待定标号的引入使得所提切片算法可捕获类似基于系统依赖图(SDG)切片算法中的概要信息,且也可避免上下文调用问题.借助于切片单子转换器,所提单子切片算法将具有较高的模块性和适应性,且其复杂度不劣于基于SDG的切片算法.

莫斯科语义学派的义素分析语言

莫斯科语义学派用来进行义素分析的元语言建立在缩略、统一的对象语基础上,较之其他语义元语言,有一系列重要区别。其中的词汇单位表示语义单子和过渡语义因素。语义单子是特定民族的语言层面的意义结构单位,不是超越民族的意识层面的概念结构单位。用这种语义元语言形成的义素分析释文,将广义谓词单位置于特定的题元框架中解读,具有多维结构性质,是确定词汇单位意义聚合关系、揭示词汇单位意义组合规则和集成描写语言的基础。