Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference26 articles.
1. Armando, A., Smaill, A.,Green, I.: Automatic synthesis of recursive programs: the proof-planning paradigm. Autom. Softw. Eng. 6(4), 329–356 (1999)
2. Ayari, A., Basin, D.: A higher-order interpretation of deductive tableau. J. Symb. Comput. 31(5), 487–520 (2001)
3. Basin, D., Walsh, T.: Difference unification. In: Bajcsy, R. (ed.) Proceedings of the 13th IJCAI, pp. 116–122. Morgan Kaufmann (1993)
4. Basin, D., Walsh, T.: A calculus for and termination of rippling. J. Autom. Reason. 16, 147–180 (1996)
5. Biermann, A., Krishnaswamy, R.: Constructing programs from example computations. IEEE Trans. Softw. Eng. 2(3), 141–153 (1976)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Synthesis of sorting algorithms using multisets in Theorema;Journal of Logical and Algebraic Methods in Programming;2021-02
2. AlCons : Deductive Synthesis of Sorting Algorithms in Theorema;Theoretical Aspects of Computing – ICTAC 2021;2021
3. Deductive Synthesis of Min-Max-Sort Using Multisets in Theorema;2020 IEEE 14th International Symposium on Applied Computational Intelligence and Informatics (SACI);2020-05
4. Cognification of Program Synthesis—A Systematic Feature-Oriented Analysis and Future Direction;Computers;2020-04-12
5. Multilevel Automatic Synthesis of Behavioral Programs for Smart Devices;2017 International Conference on Control, Artificial Intelligence, Robotics & Optimization (ICCAIRO);2017-05