A Coq-based synthesis of Scala programs which are correct-by-construction Posted by markhkim on Monday June 19, 2017 @08:39AM from the arxiv.org dept. https://arxiv.org/abs/1706.05271 ( no comments | 2 points | on HN )
There are no comments yet.