Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference15 articles.
1. Principles of Compiler Design;Aho,1977
2. Certification of programs for secure information flow;Denning;Comm. ACM,1977
3. Data flow analysis in software reliability;Fosdick;Comput. Surveys,1976
4. Flow Analysis of Computer Programs;Hecht,1977
5. Logical analysis of programs;Katz;Comm. ACM,1976
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. LineFlowDP: A Deep Learning-Based Two-Phase Approach for Line-Level Defect Prediction;Empirical Software Engineering;2024-02-23
2. Pipelines and Beyond: Graph Types for ADTs with Futures;Proceedings of the ACM on Programming Languages;2024-01-05
3. Static prediction of parallel computation graphs;Proceedings of the ACM on Programming Languages;2022-01-12
4. DepTaint;Proceedings of the 2020 4th International Conference on Management Engineering, Software Engineering and Service Sciences;2020-01-17
5. Test Focus Selection for Integration Testing;International Journal of Software Engineering and Knowledge Engineering;2017-10