cross-ecosystem tooling 1dependency resolution 1formal methods 1package management 1software supply chain 1
From the 1 of 2 linked papers with an AI index.
2 papers
cs.PL2026
Package Managers à la Carte: A Formal Model of Dependency Resolution
Ryan Gibb, Patrick Ferris, David Allsopp +2
The paper introduces the Package Calculus, a formal model that captures the core semantics of dependency resolution across different package managers, enabling precise cross‑ecosys…
cs.SE2025
Solving Package Management via Hypergraph Dependency Resolution
Ryan Gibb, Patrick Ferris, David Allsopp +7
Package managers are everywhere, with seemingly every language and operating system implementing their own solution. The lack of interoperability between these systems means that m…