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
56 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Requirement-Dependent Extra Invariant Patterns in Deductive Verification of PoST Programs;2024 IEEE 25th International Conference of Young Professionals in Electron Devices and Materials (EDM);2024-06-28
2. Synthesis of Bidirectional Programs from Examples with Functional Dependencies;Journal of Information Processing;2024
3. Survey of intelligent program synthesis techniques;International Conference on Algorithms, High Performance Computing, and Artificial Intelligence (AHPCAI 2023);2023-12-07
4. Tractable representations for Boolean functional synthesis;Annals of Mathematics and Artificial Intelligence;2023-12-05
5. The Bounded Pathwidth of Control-Flow Graphs;Proceedings of the ACM on Programming Languages;2023-10-16