Logic Program Synthesis via Proof Planning-Reference-Cited by-同舟云学术

Logic Program Synthesis via Proof Planning

Published:1993 Issue: Volume: Page:1-14
ISSN:1431-1682
Container-title:Logic Program Synthesis and Transformation
language:
Short-container-title:

Author:

Kraan Ina,Basin David,Bundy Alan

Publisher

Springer London

Link

http://link.springer.com/content/pdf/10.1007/978-1-4471-3560-9_1

Reference19 articles.

1. Joseph L. Bates and Robert L. Constable. Proofs as programs. ACM Transactions on Programming Languages and Systems, 7 (1): 113–136, January 1985.

2. W. Bibel. Syntax-directed, semantics-supported program synthesis. Artificial Intelligence, 14: 243–261, 1980.

3. S. Biundo. Automated synthesis of recursive algo rithms as a theorem proving tool. In Y. Kodratoff, editor, Eighth European Conference on Artificial Intelligence, pages 553–8. Pitman, 1988.

4. R.S. Boyer and J.S. Moore. A Computational Logic Handbook. Academic Press, 1988. Perspectives in Computing, Vol 23.

5. A. Bundy. The use of explicit plans to guide inductive proofs. In R. Lusk and R. Overbeek, editors, 9th Conference on.Automated Deduction, pages 111–120. Springer-Verlag, 1988. Longer version available from Edinburgh as DAI Research Paper No. 349.

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

1. Program Synthesis for Program Analysis;ACM Transactions on Programming Languages and Systems;2018-06-30

2. Program synthesis: challenges and opportunities;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2017-09-04

3. Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis;Automated Software Engineering;2006-01

4. Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema;Electronic Notes in Theoretical Computer Science;2004-02

5. An Integration of Program Analysis and Automated Theorem Proving;Lecture Notes in Computer Science;2004