Data flow analysis for ‘intractable’ system software

ACM SIGPLAN Notices

Volumn 21, Issue 7, 1986, Pages 109-117

  Johnson, Harold ^a  

^a NORTEL NETWORKS   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976656068     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/13310.13322     Document Type: Article

References (12)

1. Lasker, D.M. 1979. Module structure in an evolving family of real time systems. Proceedings of the 4th International Conference on Software Engineering, September 1979.
2. Foxall, D.G., M.L. Joliat. R.F. Kamel, and J.J. Miceli. 1979. PROTEL: a high level language for telephony. Proceedings of the 3rd International Computer Software and Applications Conference, November 1979.
3. Cashin, P.M., M.L. Joliat, R.F. Kamel, and D.M. Lasker. 1981. Experience with a modular typed language: PROTEL. Proceedings of the 5th International Conference on Software Engineering, March 1981.
4. Johnson, H.J. 1984. PROTEL: A programming language for large real-time applications. Proceedings of the National Electronics Conference/National Communications Forum, vol. 38.
5. Geschke, CM., J.H. Morris Jr., and E.H. Satterthwaite. 1977. Early experience with Mesa. Communications of the ACM 20(8): 540-553.
6. Auslander, M., and M. Hopkins. 1982. An overview of the PL.8 compiler. SIGPLAN 1982 Symposium on Compiler Construction, SIGPLAN Notices 17(6): 22-31.
7. Wegman, M.N., and F.K. Zadeck. 1985. Constant propagation with conditional branches. Conference Record of the 12th Annual ACM Symposium on Principles of Programming Languages.
8. Chow, Anita, and Andres Rudmik. 1982. The design of a data flow analyzer. SIGPLAN 1982 Symposium on Compiler Construction, SIGPLAN Notices 17(6): 106-119.
9. Hecht, M.S. 1977. Flow analysis of computer programs. North-Holland.
10. Tarjan, R.E. 1972. Depth-first search and linear graph algorithms.
11. Cocke, J., and J.T. Schwartz. Programming languages and their compilers. Courant Institute of Mathematical Sciences, New York, N.Y.
12. Knuth, D.E. The Art of Computer Programming, v.3: Sorting and searching. Addison-Wesley.