A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Semantic Versioning Checking in a Declarative Package Manager
2018
International Conference on Logic Programming
Semantic versioning is a principle to associate version numbers to different software releases in a meaningful manner. The correct use of version numbers is important in software package systems where packages depend on other packages with specific releases. When patch or minor version numbers are incremented, the API is unchanged or extended, respectively, but the semantics of the operations should not be affected (apart from bug fixes). Although many software package management systems
doi:10.4230/oasics.iclp.2017.6
dblp:conf/iclp/Hanus17
fatcat:pvseesywnje5pdu4vxal3uapby