Sanat K. Basu

According to our database, Sanat K. Basu authored at least 9 papers between 1968 and 1980.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

1980

On Development of Iterative Programs from Function Specifications.

Sanat K. Basu

IEEE Trans. Software Eng., 1980

A Note on Synthesis of Inductive Assertions.

Sanat K. Basu

IEEE Trans. Software Eng., 1980

1976

On the depth of a planar graph.

Vinay G. Kane, Sanat K. Basu

Discret. Math., 1976

Some Classes of Naturally Provable Programs.

Sanat K. Basu, Jayadev Misra

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

1975

Strong Verification of Programs.

Sanat K. Basu, Raymond T. Yeh

IEEE Trans. Software Eng., 1975

Proving Loop Programs.

Sanat K. Basu, Jayadev Misra

IEEE Trans. Software Eng., 1975

1970

On the Structure of Subrecursive Degrees.

Sanat K. Basu

J. Comput. Syst. Sci., 1970

1969

On Classes of Computable Functions

Sanat K. Basu

Proceedings of the 1st Annual ACM Symposium on Theory of Computing, 1969

1968

Transformation of Program Schemes to Standard Forms

Sanat K. Basu

Proceedings of the 9th Annual Symposium on Switching and Automata Theory, 1968