Inverse Computation and the Universal Resolving Algorithm

Inverse Computation and the Universal Resolving Algorithm

下载PDF

导出

摘要 We survey fundamental concepts for inverse programming and then present the Universal Resolving Algorithm, an algorithm for inverse computation in a first order, functional programming language. We discuss the key concepts of the algorithm, including a three step approach based on the notion of a perfect process tree, and demonstrate our implementation with several examples of inverse computation. We survey fundamental concepts for inverse programming and then present the Universal Resolving Algorithm, an algorithm for inverse computation in a first order, functional programming language. We discuss the key concepts of the algorithm, including a three step approach based on the notion of a perfect process tree, and demonstrate our implementation with several examples of inverse computation.

作者 Sergei Abramov 1, Robert Glück 2 1 Program Systems Institute Russian Academy of Sciences, RU 152140 Pereslavl Zalessky, Russia 2 PRESTO,JST & Institute for Software Production Technology, Waseda University, Tokyo 169 8555, Japan

出处《Wuhan University Journal of Natural Sciences》 CAS 2001年第Z1期31-45,共15页 武汉大学学报（自然科学英文版）

关键词 inverse programming perfect process tree program transformation inverse interpretation program inversion functional languages inverse programming perfect process tree program transformation inverse interpretation program inversion functional languages

分类号 TP311.1 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

参考文献15

1Robert Glück,Andrei Klimov.On the degeneration of program generators by program composition[J]. New Generation Computing . 1998 (1)
2Brian J. Ross.Running programs backwards: The logical inversion of imperative computation[J]. Formal Aspects of Computing . 1997 (3)
3P. G. Harrison,H. Khoshnevisan.On the synthesis of function inverses[J]. Acta Informatica . 1992 (3)
4Hanus M.The Integration of Functions Into Logic Programming: From Theory to Practice. J ournal of Logic Programming . 1994
5Turchin V F.The Concept of a Supercompiler. Transactions on Programming Languages and Systems . 1986
6Gl ck R,Klimov A V.A Regeneration Scheme for Generating Extensions. I nformation Processing Letters . 1997
7Wadler P.Deforestation: Transforming Programs to Eliminate Trees. Theoretical Computer Science . 1990
8Sterling L,Shapiro E.The Art of Prolog. . 1986
9van de Snepscheut J L A.What Computing is all About. . 1993
10McCarthy J.Recursive Functions of Symbolic Expressions. Communications of the ACM . 1960

1郭文生,杨国武,William N.N.Hung,Xiaoyu Song.Complete Boolean Satisfiability Solving Algorithms Based on Local Search[J].Journal of Computer Science & Technology,2013,28(2):247-254.
2Jun Wang,Xiaoguang Gao,Yongwen Zhu.Solving algorithm for TA optimization model based on ACO-SA[J].Journal of Systems Engineering and Electronics,2011,22(4):628-639. 被引量：4
3Li Zhou,Hailin Zou,Yancun Yang,Qian Gao.Troubleshooting algorithm for solving assignment problem and its applications[J].Journal of Systems Engineering and Electronics,2013,24(1):165-172.
4YAN Zhiguo,ZHANG Guoshan,WANG Jiankui,ZHANG Weihai.State and Output Feedback Finite-time Guaranteed Cost Control of Linear It Stochastic Systems[J].Journal of Systems Science & Complexity,2015,28(4):813-829. 被引量：4
5WANG Yi,LIU Sanyang,NIU Wei,LIU Kai,LIAO Yong.Threat Assessment Method Based on Intuitionistic Fuzzy Similarity Measurement Reasoning with Orientation[J].China Communications,2014,11(6):119-128. 被引量：15

Wuhan University Journal of Natural Sciences

2001年第Z1期

浏览历史

内容加载中请稍等...

Inverse Computation and the Universal Resolving Algorithm

参考文献15

相关作者

相关机构

相关主题

浏览历史