Author:
Brandner Florian,Novillo Diego
Publisher
Springer International Publishing
Reference5 articles.
1. Hecht, M. S., & Ullman, J. D. (1973). Analysis of a simple algorithm for global data flow problems. In Proceedings of the Symposium on Principles of Programming Languages. POPL ’73 (pp. 207–217).
2. Kam, J. B., & Ullman, J. D. (1976). Global data flow analysis and iterative algorithms. Journal of the ACM, 23(1), 158–171.
3. Nielson, F., Nielson, H. R., & Hankin, C. (2005). Principles of program analysis. New York: Springer.
4. Novillo, D. (2005). A propagation engine for GCC. In Proceedings of the GCC Developers Summit (pp. 175–184).
5. Wegman, M. N., & Kenneth Zadeck, F. (1991). Constant propagation with conditional branches. ACM Transactions on Programming Language and Systems, 13(2), 181–210.