首页> 中文期刊> 《计算机工程与应用》 >PAR平台从规约出发的算法推导与自动生成

PAR平台从规约出发的算法推导与自动生成

AI论文写作 >>

开具论文收录证明 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

简要介绍PAR方法及其支撑平台,使用PAR方法及其平台从规约出发形式化推导并生成了两个典型的算法程序.PAR方法及其平台使用一阶谓词逻辑表示功能规约,分划与递推来进行算法形式推导,各种转换系统来自动生成算法程序.这显著地提高了算法程序的正确性和开发效率,也有助于深刻地理解算法设计思想.

著录项

来源
《计算机工程与应用》 |2007年第2期|41-42,59|共3页
作者
王昌晶; 薛锦云;
展开▼
作者单位

中国科学院;

软件研究所;

北京;

100080;

江西师范大学;

计算机信息与工程学院;

南昌;

330027;

中国科学院;

软件研究所;

北京;

100080;

江西师范大学;

计算机信息与工程学院;

南昌;

330027;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
PAR方法; PAR平台; 规约; 形式推导;

相似文献

中文文献
外文文献
专利

1. 形式化PAR方法及其算法程序规约精化机理 [J] . 苏昭 . 江西科技学院学报 . 2014,第003期
2. 基于PAR的排序算法自动生成研究 [J] . 石海鹤 ,薛锦云 . 软件学报 . 2012,第009期
3. 最小生成树算法的PAR方法形式化推导 [J] . 孙凌宇 ,薛锦云 . 计算机工程 . 2006,第021期
4. 基于PAR方法的并行最大和算法的推导 [J] . 邓笋根 ,王明文 . 江西师范大学学报（自然科学版） . 2001,第002期
5. 基于Revit平台的墙体模型自动生成算法 [J] . 王博 . 铁路计算机应用 . 2021,第007期
6. 由程序规约推导程序 [C] . 薛慧琦 ,吴恒 . 2005年全国理论计算机科学学术年会 . 2005
7. 基于PAR平台的APLA->Python自动生成系统研究 [A] . 齐杰 . 2020

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号