主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第8期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
谭庆平,陈火旺.使用显式策略进行程序构造.软件学报,1992,3(3):17-23
使用显式策略进行程序构造
USING EXPLICIT STRATEGIES TO GUIDE PROGRAM CONSTRUCTION
投稿时间:1990-04-28  修订日期:1990-09-19
DOI:
中文关键词:  
英文关键词:
基金项目:本项研究得到“八六三”计划“软件生成自动化”项目和国家自然科学基金的部分资助
作者单位
谭庆平 国防科技大学计算机系 长沙 410073 
陈火旺 国防科技大学计算机系
国防科技大学计算机系 长沙 
摘要点击次数: 2546
全文下载次数: 2756
中文摘要:
      本文提出一种交互式的程序(半)自动综合方法:使用显式策略引导系统进行程序构造。这些策略包括程序员提供的问题求解策略和系统内部的标准策略,如数学归纳法、归结方法和程序变换规则/策略。策略都用高阶函数式元语言TSL/ML统一地描述,它们的施用则通过高阶一致化完成。因此,我们的程序综合方法可以在统一的框架下使用多种软件自动构造技术,且易于自动实现。
英文摘要:
      In this paper we propose an interactive approach to program synthesis: Explicit strategies are used to guide program construction. Our approach regards program synthesis as a constructive theorem proving task. By specifying proof strategies in a higher order functional meta-language, we are able to represent the programmer s advice, mathematical inductions, program transformation rules/strategies and resolution methods in a uniform manner. The implementation of strategies depends on higher order unification.Our approach can be automatized easily.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利