%0 Journal Article
%T 递归程序变换及其实验
%A 蔡经球
%A 郭艺勋
%J 计算机科学
%D 1990
%I 
%X 递归程序变换是软件自动化研究中程序变换途径的一种方法。本文介绍了递归程序等价变换的一系列模式以及根据递归程序变换基本思想而构造的人-机交互实验系统XDPTS的梗概。
%K 软件自动化
%K 递归程序变换
%K 程序变换
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=49C9EE239A2EE243BD9446B3F18E5A38&yid=8D39DA2CB9F38FD0&vid=BCA2697F357F2001&iid=38B194292C032A66&sid=BFE7933E5EEA150D&eid=8BD23BD67BF01A5C&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0