呼吁大家学习ats language，来自Boston U的华人教授Hongwei Xi。Prof Xi的PhD导师是cmu计算机系主任逻辑学家和计算机科学家Frank Pfenning。ats最大的优点是类C，编译到C，支持proof carrying code；最大的缺点是没有用户，not a single soul；但文档是很OK的。 登录后可查看完整内容，参与讨论！ 立即登录
