TVLA: A System for Implementing Static Analyses-Reference-Cited by-同舟云学术

TVLA: A System for Implementing Static Analyses

Published:2000 Issue: Volume: Page:280-301
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Lev-Ami Tal,Sagiv Mooly

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-45099-3_15

Reference19 articles.

1. Lecture Notes in Computer Science;M. Alt,1995

2. Aßmann, U.: OPTIMIX, A Tool for Rewriting and Optimizing Programs. Graph Grammar Handbook. Chapman-Hall, Australia (1998)

3. Bryant, R.E.: Symbolic boolean manipulation with ordered binary decision diagrams. Computing Surveys 24(3), 293–318 (1992)

4. Chase, D.R., Wegman, M., Zadeck, F.: Analysis of pointers and structures. In: SIGPLAN Conf. on Prog. Lang. Design and Impl., New York, NY, pp. 296–310. ACM Press, New York (1990)

5. Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Symp. on Princ. of Prog. Lang., New York, NY, pp. 269–282. ACM Press, New York (1979)

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

1. An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification;Proceedings of the ACM on Programming Languages;2024-01-05

2. Parameterized Recursive Refinement Types for Automated Program Verification;Static Analysis;2022

3. Local Higher-Order Fixpoint Iteration;Electronic Proceedings in Theoretical Computer Science;2020-09-20

4. Learning Abstractions for Program Synthesis;Computer Aided Verification;2018

5. Evaluating Design Tradeoffs in Numeric Static Analysis for Java;Programming Languages and Systems;2018