In this episode of Link Removed, Kuat Yessenov and Link Removed, Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research, show how a program can be constructed by stepwise refinement. First, a high-level description of the program is given. Then, some...
