Добірка наукової літератури з теми "Syntax-Guided Synthesis"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Syntax-Guided Synthesis".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Syntax-Guided Synthesis"
Morton, Kairo, William Hallahan, Elven Shum, Ruzica Piskac, and Mark Santolucito. "Grammar Filtering for Syntax-Guided Synthesis." Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 02 (April 3, 2020): 1611–18. http://dx.doi.org/10.1609/aaai.v34i02.5522.
Повний текст джерелаKumar, Mohit, Samuel Kolb, Stefano Teso, and Luc De Raedt. "Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation." Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 04 (April 3, 2020): 4493–500. http://dx.doi.org/10.1609/aaai.v34i04.5877.
Повний текст джерелаBenouhiba, Toufik. "A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models." Fundamenta Informaticae 179, no. 1 (February 9, 2021): 1–33. http://dx.doi.org/10.3233/fi-2021-2011.
Повний текст джерелаFisman, Dana, Rishabh Singh, and Armando Solar-Lezama. "Special Issue on Syntax-Guided Synthesis Preface." Formal Methods in System Design, February 28, 2022. http://dx.doi.org/10.1007/s10703-021-00386-0.
Повний текст джерелаЧастини книг з теми "Syntax-Guided Synthesis"
Fedyukovich, Grigory, and Rastislav Bodík. "Accelerating Syntax-Guided Invariant Synthesis." In Tools and Algorithms for the Construction and Analysis of Systems, 251–69. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-89960-2_14.
Повний текст джерелаFedyukovich, Grigory, Sumanth Prabhu, Kumar Madhukar, and Aarti Gupta. "Quantified Invariants via Syntax-Guided Synthesis." In Computer Aided Verification, 259–77. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-25540-4_14.
Повний текст джерелаHu, Qinheping, Jason Breck, John Cyphert, Loris D’Antoni, and Thomas Reps. "Proving Unrealizability for Syntax-Guided Synthesis." In Computer Aided Verification, 335–52. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-25540-4_18.
Повний текст джерелаNiemetz, Aina, Mathias Preiner, Andrew Reynolds, Clark Barrett, and Cesare Tinelli. "Syntax-Guided Quantifier Instantiation." In Tools and Algorithms for the Construction and Analysis of Systems, 145–63. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72013-1_8.
Повний текст джерелаHu, Qinheping, and Loris D’Antoni. "Syntax-Guided Synthesis with Quantitative Syntactic Objectives." In Computer Aided Verification, 386–403. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-96145-3_21.
Повний текст джерелаCardelli, Luca, Milan Češka, Martin Fränzle, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, and Max Whitby. "Syntax-Guided Optimal Synthesis for Chemical Reaction Networks." In Computer Aided Verification, 375–95. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-63390-9_20.
Повний текст джерелаPolgreen, Elizabeth, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, and Sanjit A. Seshia. "UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis." In Computer Aided Verification, 538–51. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-13185-1_27.
Повний текст джерелаReynolds, Andrew, Haniel Barbosa, Daniel Larraz, and Cesare Tinelli. "Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis." In Automated Reasoning, 141–60. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-51074-9_9.
Повний текст джерелаReynolds, Andrew, Haniel Barbosa, Andres Nötzli, Clark Barrett, and Cesare Tinelli. "cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis." In Computer Aided Verification, 74–83. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-25543-5_5.
Повний текст джерелаZhang, Hongce, Aarti Gupta, and Sharad Malik. "Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking." In Lecture Notes in Computer Science, 325–49. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-67067-2_15.
Повний текст джерелаТези доповідей конференцій з теми "Syntax-Guided Synthesis"
Alur, Rajeev, Rastislav Bodik, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. "Syntax-guided synthesis." In 2013 Formal Methods in Computer-Aided Design (FMCAD). IEEE, 2013. http://dx.doi.org/10.1109/fmcad.2013.6679385.
Повний текст джерелаSi, Xujie, Woosuk Lee, Richard Zhang, Aws Albarghouthi, Paraschos Koutris, and Mayur Naik. "Syntax-guided synthesis of Datalog programs." In ESEC/FSE '18: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3236024.3236034.
Повний текст джерелаAlur, Rajeev. "Keynote talk I: Syntax-guided synthesis." In 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE). IEEE, 2015. http://dx.doi.org/10.1109/memcod.2015.7340460.
Повний текст джерелаChoi, Wonhyuk. "Can reactive synthesis and syntax-guided synthesis be friends?" In SPLASH '21: Software for Humanity. New York, NY, USA: ACM, 2021. http://dx.doi.org/10.1145/3484271.3484972.
Повний текст джерелаChoi, Wonhyuk, Bernd Finkbeiner, Ruzica Piskac, and Mark Santolucito. "Can reactive synthesis and syntax-guided synthesis be friends?" In PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. New York, NY, USA: ACM, 2022. http://dx.doi.org/10.1145/3519939.3523429.
Повний текст джерелаWu, Zhengkai, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radiček, Gustavo Soares, Xinyu Wang, Zhenwen Li, and Tao Xie. "NL2Viz: natural language to visualization via constrained syntax-guided synthesis." In ESEC/FSE '22: 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. New York, NY, USA: ACM, 2022. http://dx.doi.org/10.1145/3540250.3549140.
Повний текст джерелаLe, Xuan-Bach D., Duc-Hiep Chu, David Lo, Claire Le Goues, and Willem Visser. "S3: syntax- and semantic-guided repair synthesis via programming by examples." In ESEC/FSE'17: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3106237.3106309.
Повний текст джерелаGolia, Priyanka, Subhajit Roy, and Kuldeep S. Meel. "Program Synthesis as Dependency Quantified Formula Modulo Theory." In Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}. California: International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/ijcai.2021/261.
Повний текст джерелаHu, Qinheping, John Cyphert, Loris D'Antoni, and Thomas Reps. "Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems." In PLDI '20: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3385412.3385979.
Повний текст джерела