Title

Equivalence Checking of Non-deterministic Operations

Published In

Functional and Logic Programming. FLOPS 2018. Lecture Notes in Computer Science

Document Type

Citation

Publication Date

4-24-2018

Abstract

Conference paper.

Checking the semantic equivalence of operations is an important task in software development. For instance, regression testing is a routine task when software systems are developed and improved, and software package managers require the equivalence of operations in different versions of a package within the same major version. In order to support a good automation of this process, a solid foundation is required. It has been shown that the notion of equivalence is not obvious when non-deterministic features are present. In this paper, we discuss a general notion of equivalence in functional logic programs and develop a practical method to check it. Our method can be integrated in a property-based testing tool which is used in a software package manager to check the semantic versioning of software packages.

Description

© Springer International Publishing AG, part of Springer Nature 2018

DOI

10.1007/978-3-319-90686-7_10

Persistent Identifier

https://archives.pdx.edu/ds/psu/26949

Share

COinS