Kenneth G. Walter

Publication Activity (10 Years)

Years Active: 1975-1976
Publications (10 Years): 0

Publications

Kenneth G. Walter
Recursion Analysis for Compiler Optimization. Commun. ACM 19 (9) (1976)
Kenneth G. Walter, Samuel I. Schaen, William F. Ogden, William C. Rounds, D. G. Shumway, D. D. Schaeffer, K. J. Biba, Franklyn T. Bradshaw, S. R. Ames, J. M. Gilligan
Structured specification of a Security Kernel. Reliable Software (1975)
Mehdi Jazayeri, Kenneth G. Walter
Alternating semantic evaluator. ACM Annual Conference (1975)