Author:
Srivastava Saurabh,Gulwani Sumit,Foster Jeffrey S.
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference64 articles.
1. Bauer, F.L., Ehler, H., Horsch, A., Moeller, B., Partsch, H., Paukner, O., Pepper, P.: The/Munich project CIP (1988)
2. Beucher, O.: MATLAB und simulink (scientific computing). Pearson Studium, 08 (2006)
3. Beyer, D., Henzinger, T. Majumdar, R., Rybalchenko, A.: Path invariants. In: PLDI (2007)
4. Colón, M.: Schema-guided synthesis of imperative programs by constraint solving. In: LOPSTR, pp. 166–181. (2004)
5. Colón, M., Sankaranarayanan, S., Sipma, H.: Linear invariant generation using non-linear constraint solving. In: CAV, pp. 420–432. (2003)
Cited by
53 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Survey of intelligent program synthesis techniques;International Conference on Algorithms, High Performance Computing, and Artificial Intelligence (AHPCAI 2023);2023-12-07
2. Tractable representations for Boolean functional synthesis;Annals of Mathematics and Artificial Intelligence;2023-12-05
3. The Bounded Pathwidth of Control-Flow Graphs;Proceedings of the ACM on Programming Languages;2023-10-16
4. One Pixel Adversarial Attacks via Sketched Programs;Proceedings of the ACM on Programming Languages;2023-06-06
5. Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs;Proceedings of the ACM on Programming Languages;2023-04-06