Author:
Hecht Matthew S.,Ullman Jeffrey D.
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Top-Down Solver Verified: Building Confidence in Static Analyzers;Lecture Notes in Computer Science;2024
2. On Time-sensitive Control Dependencies;ACM Transactions on Programming Languages and Systems;2022-03-31
3. Propagating Information Using SSA;SSA-based Compiler Design;2021-06-12
4. Algebraic Program Analysis;Computer Aided Verification;2021
5. Analysis of preemption costs for the stack cache;Real-Time Systems;2018-02-06