The method of attributes for data flow analysis-Reference-Cited by-同舟云学术

The method of attributes for data flow analysis

Published:1978 Issue:3 Volume:10 Page:265-272
ISSN:0001-5903
Container-title:Acta Informatica
language:en
Short-container-title:Acta Informatica

Author:

Babich Wayne A.,Jazayeri Mehdi

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/BF00264320.pdf

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 28 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. 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

2. Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth;Lecture Notes in Computer Science;2023

3. Demanded abstract interpretation;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18

4. Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis;Programming Languages and Systems;2020

5. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components;ACM Transactions on Programming Languages and Systems;2018-08-29