Forward build systems, formally-Reference-Cited by-同舟云学术

Forward build systems, formally

Published:2022-01-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs
language:
Short-container-title:

Author:

Spall Sarah¹,Mitchell Neil²,Tobin-Hochstadt Sam¹

Affiliation:

1. Indiana University, USA

2. Meta, UK

Funder

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3497775.3503687

Reference15 articles.

1. Formalizing and Verifying a Modern Build Language

2. Charlie Curtsinger and Daniel W . Barowy . 2021 . LaForge: Always- Correct and Fast Incremental Builds from Simple Specifications . arxiv:2108.12469 Charlie Curtsinger and Daniel W. Barowy. 2021. LaForge: Always-Correct and Fast Incremental Builds from Simple Specifications. arxiv:2108.12469

3. A sound and optimal incremental build system with dynamic dependencies

4. Stuart Feldman . 1979. Make - A program for maintaining computer programs. Software: Practice and experience, 9, 4 ( 1979 ), 255–265. Stuart Feldman. 1979. Make - A program for maintaining computer programs. Software: Practice and experience, 9, 4 (1979), 255–265.

5. Berwyn Hoyt , Bryan Hoyt , and Ben Hoyt . 2009 . Fabricate: The better build tool. https://github.com/SimonAlfie/fabricate Berwyn Hoyt, Bryan Hoyt, and Ben Hoyt. 2009. Fabricate: The better build tool. https://github.com/SimonAlfie/fabricate

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Crafting Extensible Forward Incremental Parallel Embedded Build Systems;The 35th Symposium on Implementation and Application of Functional Languages;2023-08-29