Package managers à la carte: A Formal Model of Dependency Resolution
Abstract
Jan. 2026Ryan Gibb. Free and Open Source Software Developers' European Meeting (FOSDEM) . Package managers are legion. Every language and operating system has its own solution, each with subtly different semantics for dependency resolution.
Fields of Study & Subjects
Logic
programming
and type systems
Software Engineering Research
Software Engineering Techniques and Practices
Publication details
- Publication date
- 1 January 2026