构建程序综合工具以根据规范生成程序。这是准备对码农实施“掀桌砸碗”打击的节奏吗?homes.cs.washington.edu

华盛顿大学计算机科学博士生 James Bornholt 使用Rosette构建一个程序综合工具,用20行代码生成规范中的程序。
展开
评论