Sanat K. Basu

Publication Activity (10 Years)

Years Active: 1968-1980
Publications (10 Years): 0

Publications

Sanat K. Basu
On Development of Iterative Programs from Function Specifications. IEEE Trans. Software Eng. 6 (2) (1980)
Sanat K. Basu
A Note on Synthesis of Inductive Assertions. IEEE Trans. Software Eng. 6 (1) (1980)
Sanat K. Basu, Jayadev Misra
Some Classes of Naturally Provable Programs. ICSE (1976)
Vinay G. Kane, Sanat K. Basu
On the depth of a planar graph. Discret. Math. 14 (1) (1976)
Sanat K. Basu, Raymond T. Yeh
Strong Verification of Programs. IEEE Trans. Software Eng. 1 (3) (1975)
Sanat K. Basu, Jayadev Misra
Proving Loop Programs. IEEE Trans. Software Eng. 1 (1) (1975)
Sanat K. Basu
On the Structure of Subrecursive Degrees. J. Comput. Syst. Sci. 4 (5) (1970)
Sanat K. Basu
On Classes of Computable Functions STOC (1969)
Sanat K. Basu
Transformation of Program Schemes to Standard Forms SWAT (1968)