Automating Synthesis by Completion
Automating Synthesis by Completion
复制标题
通过完成自动合成
DOI：
--
复制
发表时间：
1994
期刊：
影响因子：
--
通讯作者：
F. Bellegarde
中科院分区：
文献类型：
--
作者：
F. Bellegarde
当使用完成过程时，简单的静态分析允许自动化RS阶功能程序的磁化，本文显示了如何应用这些技术新闻，以便通过两种策略自动化程序转换，Defor估算消除无用的中间数据结构，并消除平行遍历在相同的数据结构中，这些技术使我们能够改变一类更大的程序，而不是当前的森林砍伐算法程序。在基于构造函数的重写系统中，可以使用完成过程来综合转换后的重写系统的重写系统的静态分析，以使给定的转换策略对给定的转换策略进行静止，它们允许以下内容自动发现需要的函数的规范，这些功能是需要的，根据完成的策略，根据策略在完成过程中控制关键对的生产的策略，以确定如何以及何时定向关键的策略将重写系统的终止终止的情况结合到重写规则中，不仅通过确保完成完成，而且还确保转换不需要许多完成，并且不需要在许多完成和NALLY中确保转换的终止，以确保转换的能力作者得到了与空军材料命令的合同f C ID SAS Tex v Bellegar Exp Bellegar的部分支持
When using a completion procedure simple static analyses allow automatizing the ma nipulation of rst order functional programs This paper shows how to apply these tech niques in order to fully automatize program transformation by the two strategies defor estation eliminating useless intermediate data structures and tupling eliminating parallel traversals of identical data structures These techniques enable us to transform a larger class of programs than the current deforestation algorithms Programs are translated into a constructor based rewrite system Then a completion procedure can be used for synthesis of the transformed rewrite system Static analyses of the rewrite system are needed to au tomatize a given transformation strategy They permit the following to automatically discover the speci cations of the functions that need to be synthesized by completion in order to accommodate the strategy to control the production of critical pairs during the completion process according to the strategy to determine how and when to orient the critical pairs into rewrite rules without losing termination of the rewrite system to guarantee termination of the process not only by ensuring termination of the completion but also by ensuring that the transformation does not require in nitely many completions and nally to guarantee the e ectiveness of the transformation The author is supported in part by a contract with Air Force Material Command F C Id sas tex v bellegar Exp bellegar