Author:
Kam John B.,Ullman Jeffrey D.
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference17 articles.
1. Aho, A. V., Ullman, J. D.: The theory of parsing, translation, and compiling; Vol II?Compiling. Englewood Cliffs (N. J.): Prentice-Hall 1973
2. Cocke, J.: Global common subexpression elimination. SIGPLAN Notices 5, 20?24 (1970)
3. Cocke, J., Schwartz, J. T.: Programming languages and their compilers. Courant Institute, New York University, New York (1970)
4. Fong, A. C., Kam, J. B., Ullman, J. D.: Applications of lattice algebra to loop optimization. Proc. 2nd ACM Conference on Principles of Programming Languages, Palo Alto (Cal.), January 1975, pp. 1?9
5. Graham, S. L., Wegman, M.: A fast and usually linear algorithm for global flow analysis. J. ACM 23, 172?202 (1976)
Cited by
209 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
2. Inference of Resource Management Specifications;Proceedings of the ACM on Programming Languages;2023-10-16
3. JavaScript Dead Code Identification, Elimination, and Empirical Assessment;IEEE Transactions on Software Engineering;2023-07
4. On subsumption relationships in data flow testing;Software Testing, Verification and Reliability;2023-03-21
5. Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference;Lecture Notes in Computer Science;2023