[TiMing]：XingShiYuYiYuMonadDeZiDongZhuanHuanJiShuYanJiu
[作者]：吕江花[ZuoZhe]：LvJiangHua[专业]：计算机软件与理论[ZhuanYe]：JiSuanJiRuanJianYuLiLun
[导师]：金成植[DaoShi]：JinChengZhi[学位]：博士[XueWei]：BoShi
[单位]：吉林大学[DanWei]：JiLinDaXue
[关键词]：形式语义;Monad;自动转换
[时间]：20031101[页数]：83页[点击]：20067[分类号]：TP311[语种]：中文文摘[来源]： 毕业论文
[文摘]：基于软件自动化的考虑,在深入研究指称语义和Monad的基础上,给出了指称语义的转换方法和Monad的转换方法.具体给出了从直接指称语义到接续指称语义的转换方法,给出了从接续指称语义到直接指称语义的转换方法;给出了从Map到Monad到Bind型Monad的转换方法;给出了从Bind型Monad到Map到Monad转换方法;同时给出了实现转换的Haskell高阶函数式语言的程序.无论是指称语义的转换,还是Monad的转换,都有以下特点:不保持函数基调,更多的基于语义,还要求满足一定的语义条件.因此,不容易找到转换规律,这就使得指称语义和Monad的转换,显得比通常的基于语法的转换困难得多.该文所考虑的基本点是Pascal级别过程式语言的指称语义(被考虑语言的大小影响转换的难度),而且通过比较完整实例的验证证实了方法和可靠性和方便性,因此,该文给出的方法是一种具有实用性的有效方法.该文给出的指称语义转换技术有助于直接指称语义和接续指称语义的自动生成;有助于指称语义等价性的判定;也有助于基于指称语义的软件自动化,例如解释器的自动生成、编译器的的自动生成、程序转换器的自动生成等;而Monad的转换技术则有助于Map型Monad和Bind型Monad的自动生成.事实上,在指称语义的转换方法中,给出的转换规则本身很深刻地揭示了直接指称语义和接续指称语义之间的内在关系.
[上一条]：基于分类和组合学习的数据挖掘方法研究
[下一条]：用行为学方法研究Web安全