Recursive Program Synthesis-Reference-Cited by-同舟云学术

Recursive Program Synthesis

Published:2013 Issue: Volume: Page:934-950
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Albarghouthi Aws,Gulwani Sumit,Kincaid Zachary

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-39799-8_67

Reference24 articles.

1. Flash Fill (Microsoft Excel 2013 feature), http://research.microsoft.com/users/sumitg/flashfill.html

2. Your wish is my command: programming by example. Morgan Kaufmann Publishers Inc. (2001)

3. Aditya Menon, S.G.B.L., Tamuz, O., Kalai, A.: A machine learning framework for programming by example. In: ICML 2013 (2013)

4. Albarghouthi, A., Gulwani, S., Kincaid, Z.: Recursive program synthesis, http://www.cs.toronto.edu/~aws/papers/cav13a.pdf

5. Bonet, B., Geffner, H.: Planning as heuristic search. Artificial Intelligence 129(1-2), 5–33 (2001)

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

1. Synbit: synthesizing bidirectional programs using unidirectional sketches;Formal Methods in System Design;2024-01-29

2. Efficient Bottom-Up Synthesis for Programs with Local Variables;Proceedings of the ACM on Programming Languages;2024-01-05

3. C2TACO: Lifting Tensor Code to TACO;Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2023-10-22

4. mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR Using Program Synthesis;2023 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT);2023-10-21

5. Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates;Proceedings of the ACM on Programming Languages;2023-10-16