S. P. Ragendhu

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Correctness is proved formally using predicate logic, which requires certain mathematical maturity from the programmer. Proving program correctness has a significant side-benefit of leading step-wise development of programs. Computer programming is taught as a craft with no mental framework as the tool to guide the development. This paper proposes a(More)
  • 1