K. S. Shankar

Publication Activity (10 Years)

Years Active: 1973-1982
Publications (10 Years): 0

Publications

K. S. Shankar
A Functional Approach to Module Verification. IEEE Trans. Software Eng. 8 (2) (1982)
K. S. Shankar
Tutorial: Data Structures, Types, and Abstractions. Computer 13 (4) (1980)
K. S. Shankar
Data structures, types and abstractions. COMPSAC (1978)
K. S. Shankar
Special Feature The Total Computer Security Problem: an Oveview. Computer 10 (6) (1977)
K. S. Shankar, C. Sekar Chandersekaran
Dat Flow, Abstraction Levels and Specifications for Communications Switching Systems. ICSE (1976)
C. V. Ramamoorthy, K. S. Shankar
Automatic Testing for the Correctness and Equivalence of Loopfree Microprograms. IEEE Trans. Computers 23 (8) (1974)
C. V. Ramamoorthy, K. S. Shankar
Correctness and equivalence of straight line microprograms. MICRO (1973)