Decidable Synthesis of Programs with Uninterpreted Functions-Reference-Cited by-同舟云学术

Decidable Synthesis of Programs with Uninterpreted Functions

Published:2020 Issue: Volume: Page:634-657
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Krogmeier Paul^ORCID,Mathur Umang^ORCID,Murali Adithya^ORCID,Madhusudan P.,Viswanathan Mahesh

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-53291-8_32

Reference56 articles.

1. Alur, R., et al.: Syntax-guided synthesis. In: Dependable Software Systems Engineering, NATO Science for Peace and Security Series, D: Information and Communication Security, vol. 40, pp. 1–25. IOS Press (2015)

2. Alur, R., Madhusudan, P.: Visibly pushdown languages. In: Proceedings of the Thirty-sixth Annual ACM Symposium on Theory of Computing, STOC 2004, pp. 202–211. ACM, New York (2004). https://doi.org/10.1145/1007352.1007390

3. Alur, R., Madhusudan, P.: Adding nesting structure to words. J. ACM 56(3), 16:1–16:43 (2009). https://doi.org/10.1145/1516512.1516518

4. Alur, R., Singh, R., Fisman, D., Solar-Lezama, A.: Search-based program synthesis. Commun. ACM 61(12), 84–93 (2018). https://doi.org/10.1145/3208071

5. Bauer-Mengelberg, S.: über die vollständigkeit des logikkalküls. J. Symb. Log. 55(1), 341–342 (1990). https://doi.org/10.2307/2274974

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

1. Verification of message-passing uninterpreted programs;Science of Computer Programming;2024-05

2. Programming-by-Demonstration for Long-Horizon Robot Tasks;Proceedings of the ACM on Programming Languages;2024-01-05

3. Church synthesis on register automata over linearly ordered data domains;Formal Methods in System Design;2023-10-10

4. Languages with Decidable Learning: A Meta-theorem;Proceedings of the ACM on Programming Languages;2023-04-06

5. Recursion synthesis with unrealizability witnesses;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09