Kenneth G. Walter

According to our database, Kenneth G. Walter authored at least 3 papers between 1975 and 1976.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1976

Recursion Analysis for Compiler Optimization.

Kenneth G. Walter

Commun. ACM, 1976

1975

Structured specification of a Security Kernel.

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

Proceedings of the International Conference on Reliable Software 1975, 1975

Alternating semantic evaluator.

Mehdi Jazayeri, Kenneth G. Walter

Proceedings of the 1975 ACM Annual Conference, 1975