Riker: Always-Correct and Fast Incremental Builds from Simple Specifications
Riker: Always-Correct and Fast Incremental Builds from Simple Specifications
复制标题
Riker：从简单的规范开始始终正确且快速的增量构建
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Barowy, Daniel W.
中科院分区：
文献类型：
--
作者：
Curtsinger, Charlie;Barowy, Daniel W.
登录
查看更多内容
正向构建系统，正式
DOI：
10.1145/3497775.3503687
发表时间：
2022
期刊：
Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs
影响因子：
--
作者：
Spall, Sarah;Mitchell, Neil;Tobin-Hochstadt, Sam
通讯作者：
Tobin-Hochstadt, Sam
具有动态依赖关系的健全且优化的增量构建系统
DOI：
10.1145/2814270.2814316
发表时间：
2015
期刊：
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
影响因子：
--
作者：
Sebastian Erdweg;Moritz Lichter;Manuel Weiel
通讯作者：
Manuel Weiel
递归使得被认为是有害的
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
Peter Miller
通讯作者：
Peter Miller
构建前摇一摇：用 haskell 替换 make
DOI：
10.1145/2364527.2364538
发表时间：
2012
期刊：
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
影响因子：
--
作者：
Neil Mitchell
通讯作者：
Neil Mitchell