Sanat K. Basu

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

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1980
On Development of Iterative Programs from Function Specifications.
IEEE Trans. Software Eng., 1980

A Note on Synthesis of Inductive Assertions.
IEEE Trans. Software Eng., 1980

1976
On the depth of a planar graph.
Discret. Math., 1976

Some Classes of Naturally Provable Programs.
Proceedings of the 2nd International Conference on Software Engineering, 1976

1975
Strong Verification of Programs.
IEEE Trans. Software Eng., 1975

Proving Loop Programs.
IEEE Trans. Software Eng., 1975

1970
On the Structure of Subrecursive Degrees.
J. Comput. Syst. Sci., 1970

1969
On Classes of Computable Functions
Proceedings of the 1st Annual ACM Symposium on Theory of Computing, 1969

1968
Transformation of Program Schemes to Standard Forms
Proceedings of the 9th Annual Symposium on Switching and Automata Theory, 1968


  Loading...