Modus: a Datalog dialect for building container images-Reference-Cited by-同舟云学术

Modus: a Datalog dialect for building container images

Published:2022-11-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Tomy Chris¹,Wang Tingmao¹,Barr Earl T.¹,Mechtaev Sergey¹

Affiliation:

1. University College London, UK

Publisher

ACM

Link

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

Reference41 articles.

1. 2021. Best practices for scanning images. https://docs.docker.com/develop/scan-images/ Accessed: 2022-03-17 2021. Best practices for scanning images. https://docs.docker.com/develop/scan-images/ Accessed: 2022-03-17

2. 2021. The Docker Hub. https://hub.docker.com/ Accessed: 2021-08-19 2021. The Docker Hub. https://hub.docker.com/ Accessed: 2021-08-19

3. 2021. Docker Multi-stage Build. https://docs.docker.com/develop/develop-images/multistage-build/ Accessed: 2021-08-19 2021. Docker Multi-stage Build. https://docs.docker.com/develop/develop-images/multistage-build/ Accessed: 2021-08-19

4. 2021. The Dockerfile Reference. https://docs.docker.com/engine/reference/builder/ Accessed: 2021-08-19 2021. The Dockerfile Reference. https://docs.docker.com/engine/reference/builder/ Accessed: 2021-08-19

5. 2021. The Earthly build system. https://earthly.dev/ Accessed: 2021-08-19 2021. The Earthly build system. https://earthly.dev/ Accessed: 2021-08-19

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

1. Program Repair Guided by Datalog-Defined Static Analysis;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

2. Continuously Accelerating Research;2023 IEEE/ACM 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER);2023-05