K. S. Shankar

According to our database, K. S. Shankar authored at least 7 papers between 1973 and 1982.

Collaborative distances:

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

1982

A Functional Approach to Module Verification.

K. S. Shankar

IEEE Trans. Software Eng., 1982

1980

Tutorial: Data Structures, Types, and Abstractions.

K. S. Shankar

Computer, 1980

1978

Data structures, types and abstractions.

K. S. Shankar

Proceedings of the IEEE Computer Society's Second International Computer Software and Applications Conference, 1978

1977

Special Feature The Total Computer Security Problem: an Oveview.

K. S. Shankar

Computer, 1977

1976

Dat Flow, Abstraction Levels and Specifications for Communications Switching Systems.

K. S. Shankar, C. Sekar Chandersekaran

Proceedings of the 2nd International Conference on Software Engineering, 1976

1974

Automatic Testing for the Correctness and Equivalence of Loopfree Microprograms.

C. V. Ramamoorthy, K. S. Shankar

IEEE Trans. Computers, 1974

1973

Correctness and equivalence of straight line microprograms.

C. V. Ramamoorthy, K. S. Shankar

Proceedings of the Conference record of the 6th annual workshop on Microprogramming, 1973