The CoLiS platform for the analysis of maintainer scripts in Debian software packages-Reference-Cited by-同舟云学术

The CoLiS platform for the analysis of maintainer scripts in Debian software packages

Published:2022-09-23 Issue:5 Volume:24 Page:717-733
ISSN:1433-2779
Container-title:International Journal on Software Tools for Technology Transfer
language:en
Short-container-title:Int J Softw Tools Technol Transfer

Author:

Becker Benedikt^ORCID,Jeannerod Nicolas^ORCID,Marché Claude^ORCID,Régis-Gianas Yann^ORCID,Sighireanu Mihaela^ORCID,Treinen Ralf

Publisher

Springer Science and Business Media LLC

Subject

Information Systems,Software

Link

https://link.springer.com/content/pdf/10.1007/s10009-022-00671-1.pdf

Reference43 articles.

1. Abramatic, Jean-François., Di Cosmo, Roberto, Zacchiroli, Stefano: Building the universal archive of source code. Commun. ACM 61(10), 29–31 (2018). https://doi.org/10.1145/3183558

2. Aït-Kaci, Hassan, Podelski, Andreas, Smolka, Gert: A feature-based constraint system for logic programming with entailment. Theoret. Comput. Sci. 122(1–2), 263–283 (1994)

3. Allbery, R., Whitton, S.: Debian policy manual. https://www.debian.org/doc/debian-policy/, October 2019. [Online; last accessed 2022-June-14]

4. Bach, M.J.: The Design of the UNIX Operating System, Prentice-Hall (1986)

5. Becker, B., Marché, C., Jeannerod, N., Treinen, R.: Revision 2 of CoLiS language: formal syntax, semantics, concrete and symbolic interpreters. Technical report, HAL Archives Ouvertes, October 2019. URL: https://hal.inria.fr/hal-02321743

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

1. Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020;International Journal on Software Tools for Technology Transfer;2022-09-23