Author:
Dillig Isil,Dillig Thomas,Aiken Alex
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Chase, D.R., Wegman, M., Zadeck, F.K.: Analysis of pointers and structures. In: PLDI, pp. 296–310. ACM, New York (1990)
2. Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., Rival, X.: Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software (2002)
3. Lecture Notes in Computer Science;T.W. Reps,2004
4. Gopan, D., Reps, T., Sagiv, M.: A framework for numeric analysis of array operations. In: POPL, pp. 338–350. ACM, New York (2005)
5. Aiken, A., Bugrara, S., Dillig, I., Dillig, T., Hackett, B., Hawkins, P.: An overview of the saturn project. In: PASTE, pp. 43–48. ACM, New York (2007)
Cited by
67 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis;Proceedings of the ACM on Programming Languages;2024-06-20
2. Anchor
: Fast and Precise Value-flow Analysis for Containers via Memory Orientation;ACM Transactions on Software Engineering and Methodology;2023-04-26
3. PalanTír;Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security;2022-11-07
4. Full-program induction: verifying array programs sans loop invariants;International Journal on Software Tools for Technology Transfer;2022-09-29
5. Lemmaless Induction in Trace Logic;Lecture Notes in Computer Science;2022