2026-07-21T20:29:08Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:8456 2024-03-06T10:30:10Z ddc:004 open_access

Semantic Versioning Checking in a Declarative Package Manager Hanus, Michael functional logic programming semantic versioning program testing 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 assumes this principle, they do not check it or perform only simple syntactic signature checks. In this paper we show that more substantive and fully automatic checks are possible for declarative languages. We extend a package manager for the functional logic language Curry with features to check the semantic equivalence of two different versions of a software package. For this purpose, we combine CurryCheck, a tool for automated property testing, with program analysis techniques in order to ensure the termination of the checker even in case of possibly non-terminating operations defined in some package. As a result, we obtain a software package manager which checks semantic versioning and, thus, supports a reliable and also specification-based development of software packages. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Michael Hanus 2018 Is Part Of OASIcs, Volume 58, Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.ICLP.2017.6 urn:nbn:de:0030-drops-84568 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2017.6 eng https://creativecommons.org/licenses/by/3.0/legalcode