Towards the Future: Bring Program Correctness back to the focus

Chongyi Yuan, Lijie Wen, Xiongliang Yan

Program correctness used to be the main concern of computer software in the early days when formal semantics was a hot topic. But, the word "correct" was afterwards replaced by rel…