Counterexample-Guided Quantifier Instantiation for Synthesis in SMT-Reference-Cited by-同舟云学术

Counterexample-Guided Quantifier Instantiation for Synthesis in SMT

Published:2015 Issue: Volume: Page:198-216
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Reynolds Andrew,Deters Morgan,Kuncak Viktor,Tinelli Cesare,Barrett Clark

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-21668-3_12

Reference32 articles.

1. Alur, R., et al.: Syntax-guided synthesis. To Appear in Marktoberdrof NATO proceedings. (2014). http://sygus.seas.upenn.edu/files/sygus_extended.pdf . Accessed 06 February 2015

2. Alur, R., Bodík, R., Juniwal, G., Martin, M.M.K., Raghothaman, M., Seshia, S.A., Singh, R., Solar-Lezama, A., Torlak, E., Udupa, A.: Syntax-guided synthesis. In: FMCAD, pp. 1–17. IEEE (2013)

3. Lecture Notes in Computer Science;R Alur,2014

4. Lecture Notes in Computer Science;C Barrett,2011

5. Barrett, C., Deters, M., de Moura, L.M., Oliveras, A., Stump, A.: 6 years of SMT-COMP. JAR 50(3), 243–277 (2013)

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

1. SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories;Proceedings of the ACM on Programming Languages;2024-06-20

2. Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations;Proceedings of the ACM on Programming Languages;2024-01-05

3. A Large-Scale Empirical Review of Patch Correctness Checking Approaches;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

4. Explainable Program Synthesis by Localizing Specifications;Proceedings of the ACM on Programming Languages;2023-10-16

5. Absynthe: Abstract Interpretation-Guided Synthesis;Proceedings of the ACM on Programming Languages;2023-06-06