An Approach to Teaching to Write Safe and Correct Imperative Programs in C* [pdf]cs.cmu.edu1 pointbobbiechen5 years ago