Remarks on ?A Synthesis of Several Sorting Algorithms? by John Darlington-Reference-Cited by-同舟云学术

Remarks on ?A Synthesis of Several Sorting Algorithms? by John Darlington

Published:1980-03 Issue:3 Volume:13 Page:225-227
ISSN:0001-5903
Container-title:Acta Informatica
language:en
Short-container-title:Acta Informatica

Author:

Barstow David R.

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/BF00288643.pdf

Reference7 articles.

1. Barstow, D.R.: An experiment in knowledge-based automatic programming. Artificial Intelligence 12, 73?120 (1979)

2. Barstow, D.R.: Knowledge-based program construction. New York: Elsevier North Holland 1979

3. Darlington, J.: A synthesis of several sorting algorithms. Acta Informat. 11, 1?30 (1978)

4. Green, C.C., Gabriel, R.P., Kant, E, Kedzierski, B.I., McCune, B.P., Phillips, J.V., Tappel, S.T., Westfold, S.J.: Results in knowledge based program synthesis. Sixth International Joint Conference on Artificial Intelligence, 342?344 (1979)

5. Green, C.C., Barstow, D.R.: On program synthesis knowledge. Artificial Intelligence 10, 241?279 (1978)

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Mechanical Verification of Insert-Sort and Merge-Sort Using Multisets in Theorema;2023 IEEE 21st Jubilee International Symposium on Intelligent Systems and Informatics (SISY);2023-09-21

2. Synthesis of sorting algorithms using multisets in Theorema;Journal of Logical and Algebraic Methods in Programming;2021-02

3. AlCons : Deductive Synthesis of Sorting Algorithms in Theorema;Theoretical Aspects of Computing – ICTAC 2021;2021

4. Deductive Synthesis of Min-Max-Sort Using Multisets in Theorema;2020 IEEE 14th International Symposium on Applied Computational Intelligence and Informatics (SACI);2020-05

5. Synthesis of list algorithms by mechanical proving;Journal of Symbolic Computation;2015-07