【摘 要】
：
该文针对Monad理论方法探讨了Monad本身的一些理论问题同时也讨论了Monad这一理论模型在软件技术中的一些重要应用.在Monad理论方面,该文给出了异型Monad系统之间的转移方法,
论文部分内容阅读
该文针对Monad理论方法探讨了Monad本身的一些理论问题同时也讨论了Monad这一理论模型在软件技术中的一些重要应用.在Monad理论方面,该文给出了异型Monad系统之间的转移方法,它对于得用Monad方法进行程序设计时重用已有的Monad定义是有意义的;另外,该文给出了一个带有Monad简式描述的函数式语言的类型系统,实际语言实现Monad时这是一个必须处理的重要问题.在应用研究方面,该文利用Monad的特点,讨论了Monad在程序设计语言主义描述,编译技术等方面的具体应用.在对形式语义描述的应用方面,我们给出了Monad对一个过程式语言接续指称语义的描述,并给出了当语言增加成分或进行修改时对原描述的扩展和个性方法:在对Monad在编译技术中应用的讲话中,在给定一个Monad的情况下,可以在确定不同的实际类型参数后得到编译器的各分析器模块,同时,我们也给出了Monad对部分求值器的描述.
其他文献
近年来，WWW的发展非常迅速。中间件为Web提供了信息交互和事务处理的功能，是WWW技术的关键。传统的Web中间作技术（如CGI等）基于无状态的HTTP协议，因而存在网络瓶颈、安全性差等缺
该文针对多agent系统(MAS)研究中存在的问题,从agent的对手模型、agent上体对抗、agent群体对抗、agent组织的表砂和MAS应用系统等方面对MAS中的对抗及相关问题进行了研究.论
随着信息化在各行各业的不断深入,工作流技术已经在越来越多的领域中发挥了巨大的作用。大到火箭发射、指挥作战,小到一个企业内部的审批流程管理。可以说工作流技术的应用不
随着社会的进步和发展,人们对网络应用的需求不断地向多样化、智能化和个性化方向发展,多种网络的融合成为网络发展的趋势。基于多网络融合、能够提供多媒体综合业务的下一代
形式规格说明语言Z在软件工业界和学术界得到了广泛的应用.在该文中,我们提出了规格说明确认的概念,也就是将Z规格说明和用户非璩 式的需求进行比较.规格说明的确认技术可以
该文将结合分布式系统原理,对构建新型动态分布式系统的Jini技术进行深入讨论.结合嵌入式JVM的特性讨论构建网络信息家电的新模式,在这种模式中,所有家电都称为Jini设备,如Ji
该文从网络信息安全问题入手,概要的介绍了目前较新的Web技术,并对网络安全存在的问题和需求,网络安全的体系结构及相关技术进行了阐述.结合武警指挥公文信息服务的设计与实
该文以统计过程控制法和缺陷正交分类法为例详细介绍了如何针对不同的软件项目的特点和不同的软件组织的情况进行定量分析方法的设计,重点说明了数据模型和典型算法的设计思
邮政金融网络系统覆盖面广、业务繁多、实时性强,对业务数据安全可靠性有很高要求.该文针对邮政金融网络系统的特点,从网络系统以及运行在网络上的应用系统两方面着手,对如何
人工神经网络是目前国际上迅速发展的前湍研究方向之一.它模拟生物神经结构,具有广泛的应用前景,对它的研究已取得了很多丰硕的成果.人工神经网络具有很强的逼近非线性及大规