函数式语言中的数组更新(I)

为了能够较好地处理函数式程序设计语言中的I O问题 ,通过采用Monad方法将I O加入到函数式程序设计语言中 ,来保持函数式程序设计语言的优点 .本文探讨了在函数式I

纯函数式语言的状态转换器与调用

针对PeytonJones&Wadler在IOMonad设计的一个基于状态转换的函数I/O系统中 ,存在着某状态没有显式地反应在IO类型中 ,为了克服诸于此类问题 ,定义了状态转换器及其状态组合子 ,统一处理了PeytonJones&Wadler的IO类型 ,并给出了基本I/O操作ccall的指称语义 .

函数式语言中赋值语句(之二)

为了能够较好地处理函数式程序设计语言中的I/O问题 ,通过采用Monad方法将I/O加入到函数式程序设计语言中 ,来保持函数式程序设计语言的优点 .本文探讨了在函数式I/O系统中加入赋值操作与其引用透明性的问题 .

过程式语言到函数式语言的抽象方法

本文给出了从过程式程序到函数式程序的转换规则，这些转换规则是从语言的接续指称语义推导出来的．我们考虑了ＧＯＴＯ语句的处理，因此，我们的方法可以处理非结构化程序．由于这些转换规则是从指称语义导出的，其正确性得到了保证．

“动、补、宾”句式分析

本文讨论的是“动、补、宾”句式 ,即述语后共补语和宾语结构。其不同于前人的方法是 ,以宾语为视点 ,联系它同动词和补语的关系 ,首先归纳整理出六种结构模式 ,然后以补语所表达的语法意义为分类标准 ,分五节进行变换分析。通过各种结构模式之间的变换 ,进行句法、语义、语用的综合分析 ,力图探求出形式和意义之间的对应关系以及转化规律 。

接续到直接的指称语义转换

接续和直接指称语义之间的转换的主要难点在于不保函数基调.基于Monad思想推导出的接续语义函数和直接语义函数之间的关系,给出了基于规约的从接续指称语义描述形式到直接指称语义描述形式的转换技术,分别考虑了接续函数在不同情形下的处理.最后给出了转换算法的Haskell实现系统,验证了转换的可行性.

命令的指称语义在谓词域上的一种表示

文中讨论了谓词转换器和状态转换器之间的对应关系,将谓词转换器作为命令的指称,刻画了IMP语言命令的指称语义,并证明与状态转换器形式的指称语义是等价的。

动·补·宾结构的语义指向分析

文章讨论的是动·补·宾结构。通过句法分析、变换句式等方法,深入剖析动·补·宾结构中的粘合性补语的语义指向。根据补语所表达的语法意义,分为三类进行句法、语义的综合分析,探讨了动·补·宾结构复杂的语义关系。

Unity和Gamma之间的程序变换:一个实例研究

Ｇａｍｍａ和Ｕｎｉｔｙ都是面向问题描述的编程模型。本文中我们提出了一种从Ｕｎｉｔｙ到Ｇａｍｍａ的语义等价的程序变换方法，进而我们证明，Ｇａｍｍａ比相应的Ｕｎｉｔｙ有更强的表达能力。同时，也提出了逆转换方法。把这些方法运用到排序问题中的实验结果表明，用转换机制以及把Ｕｎｉｔｙ作为Ｇａｍｍａ的实现层来编写有效的程序是一种可行的方法。