Author:
Babich Wayne A.,Jazayeri Mehdi
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference9 articles.
1. Allen, F.: Program optimization. Ann. Rev. Automatic Programming 2, 239?307 (1969)
2. TR-77-008;W.A. Babich,1977
3. Crawford, J., Jazayeri, M.: An algorithm for hoisting. Proc. 15th Annual Southeast Regional ACM Conference, Biloxi, pp. 80?93, 1977
4. Denning, P.: Resource allocation in multiprocess computer systems. Ph.D. dissertation, M.I.T., Project MAC Technical Report MAC-TR-50, 1968
5. Graham, S., Wegman, M.: A fast and usually linear algorithm for global flow analysis. J. Assoc. Comput. Mach. 23, 172?202 (1976)
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Interactive Abstract Interpretation with Demanded Summarization;ACM Transactions on Programming Languages and Systems;2024-03-29
2. Comprehensive Study of Algorithms for the Analysis of Algorithms;2023 2nd International Conference on Futuristic Technologies (INCOFT);2023-11-24
3. Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis;Proceedings of the ACM on Programming Languages;2023-10-16
4. Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth;Lecture Notes in Computer Science;2023
5. Demanded abstract interpretation;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18