The ATS PL System:释放类型和模板的潜力-开源

【文件属性】：
文件名称：The ATS PL System:释放类型和模板的潜力-开源
文件大小：2.23MB
文件格式：TGZ
更新时间：2021-05-14 15:50:59
开源软件 通过适应以程序员为中心的方法进行程序验证，ATS编程语言将实现与正式规范统一起来：我们如何知道正确实现的程序？ 我们要求程序员提供证明。