云南高校图书馆联盟文献共享服务平台- PAR平台

PAR平台: 作品数：15被引量：53H指数：4; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：薛锦云王昌晶杨晨游珍石海鹤更多>>; 相关机构：江西师范大学武汉大学江西省高性能计算技术重点实验室中国科学院软件研究所更多>>; 相关期刊：《电脑知识与技术》《计算机研究与发展》《计算机与数字工程》《计算机与现代化》更多>>; 相关基金：国家自然科学基金江西省自然科学基金江西师范大学青年成长基金江西省高等学校教学改革研究课题更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

PAR平台从规约出发的算法推导与自动生成被引量：5: 《计算机工程与应用》2007年第2期41-42,59,共3页王昌晶薛锦云; 国家自然科学基金资助项目(60273092);科技部973重大基础研究发展前期专项资助项目(2003CCA02800);江西省2004年教学改革课题项目;江西师范大学2005年青年成长基金项目。; 简要介绍PAR方法及其支撑平台,使用PAR方法及其平台从规约出发形式化推导并生成了两个典型的算法程序。PAR方法及其平台使用一阶谓词逻辑表示功能规约,分划与递推来进行算法形式推导,各种转换系统来自动生成算法程序。这显著地提高了算...; 关键词：PAR方法 PAR平台规约形式推导