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

【文件属性】：

文件名称：The ATS PL System:释放类型和模板的潜力-开源

文件大小：2.23MB

文件格式：TGZ

更新时间：2024-06-03 09:37:39

开源软件

通过适应以程序员为中心的方法进行程序验证，ATS编程语言将实现与正式规范统一起来：我们如何知道正确实现的程序？ 我们要求程序员提供证明。