- Package Managers à la Carte: A Formal Model of Dependency Resolution
2026/02/20 by Ryan Gibb, Patrick Ferris, David Allsopp +2 · 11 voices
Computer Science · #Advanced Software Engineering Methodologies #Core model #Dependency (UML) #Dependency graph #Formal semantics (linguistics) #Formalism (music) #Logic, programming, and type systems #Operational semantics #Resolution (logic) #Semantics (computer science) #Software Engineering Research #cs.PL #cs.SE