重写技术相关论文
随着互联网的不断发展,XML在数据库领域发挥着越来越重要的作用。当前对XML数据的查询需求也不断增强,为此,W3C提出了XQuery语言,作为X......
随着对Web服务的不断深入研究和应用,出于各种服务自动化任务的需要,Web服务计算逐渐成为学术界的研究热点,并且在服务研究各方面......
随着计算机网络的发展,大量有价值的数据依靠传统的搜索引擎技术已经不能被有效地检索出来,这些内容称为Deep Web。为了有效地对Deep......
MFS是一个基于重写技术的程序开发系统。它提供的程序设计语言MFSL是扩展的函数式语言与代数规约语言相结合的混合语言。在这种混合语言中......
随着对Web服务的不断深入研究和应用,出于各种服务自动化任务的需要,语义Web服务逐渐成为学术界的研究热点。可以看出这些研究大都......
程序自动综合中的一个难题是:系统怎样才能自动地发现并构造出所需的子程序.本文中我们提出一种基于部分二阶逻辑的机制,称之为假......