3 citations · 3 across the 4 of their papers we have counts for
4 papers
A Mathematical Model of Package Management Systems
Gershom Bazerman, Emilio Minichiello, Raymond Puzio
This paper brings mathematical tools to bear on the study of package dependencies in software systems. We introduce structures known as Dependency Structures with Choice (DSC) that…
A Totally Predictable Outcome: An Investigation of Traversals of Infinite Structures
Gershom Bazerman
Functors with an instance of the Traversable type class can be thought of as data structures which permit a traversal of their elements. This has been made precise by the correspon…
The Semantics of Package Management via Event Structures
Gershom Bazerman
We propose an approach to the semantics of package management which relates it to general event structures, well-known mathematical objects used in the semantics of concurrent, non…
The Topological and Logical Structure of Concurrency and Dependency via Distributive Lattices
Gershom Bazerman, Raymond Puzio
This paper is motivated by the desire to study package management using the toolkit of the semantics of functional languages. As it transpires, this is deeply related to the semant…