Co-Developing Programs and Their Proof of Correctness – Communications of the ACM acm.org - get the latest breaking news, showbiz & celebrity photos, sport news & rumours, viral videos and top stories from acm.org Daily Mail and Mail on Sunday newspapers.