loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Sudakshina Dutta and Dipankar Sarkar

Affiliation: Indian Institute of Technology Kharagpur, India

Keyword(s): Equivalence Checking, Recurrence, Dependence, Narrowing.

Related Ontology Subjects/Areas/Topics: Formal Methods ; Service-Oriented Software Engineering and Management ; Simulation and Modeling ; Software and Systems Development Methodologies ; Software Engineering ; Software Engineering Methods and Techniques

Abstract: Software designers often apply automatic or manual transformations on the array-handling source programs to improve performance of the target programs. Verdoolaege et al. (Verdoolaege et al., 2012) have proposed a method to automatically prove equivalence of the output arrays of the source and the generated transformed programs. Unlike the other approaches, the method of (Verdoolaege et al., 2012) provides the most sophisticated techniques to validate programs with non-uniform recurrences besides programs with uniform recurrences. However, if the recurrence expressions of the source and the transformed programs refer to more than one base cases of which some are non-equivalent and also if the domain of the output arrays partition based on dependences on different base cases, then some imprecision in the equivalence checking results is observed. The equivalence checker reports that the entire index spaces of the output arrays of the source program to be non-equivalent with that of the transformed program instead of the portion of the output arrays which depend on the non-equivalent base cases of the programs. In the current work, we have enhanced the method of equivalence checking of (Verdoolaege et al., 2012) so that it can precisely indicate the equivalent and non-equivalent portions of the output arrays. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 52.91.54.203

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Dutta, S. and Sarkar, D. (2016). An Enhanced Equivalence Checking Method to Handle Bugs in Programs with Recurrences. In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - ENASE; ISBN 978-989-758-189-2; ISSN 2184-4895, SciTePress, pages 254-259. DOI: 10.5220/0005914802540259

@conference{enase16,
author={Sudakshina Dutta. and Dipankar Sarkar.},
title={An Enhanced Equivalence Checking Method to Handle Bugs in Programs with Recurrences},
booktitle={Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - ENASE},
year={2016},
pages={254-259},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005914802540259},
isbn={978-989-758-189-2},
issn={2184-4895},
}

TY - CONF

JO - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - ENASE
TI - An Enhanced Equivalence Checking Method to Handle Bugs in Programs with Recurrences
SN - 978-989-758-189-2
IS - 2184-4895
AU - Dutta, S.
AU - Sarkar, D.
PY - 2016
SP - 254
EP - 259
DO - 10.5220/0005914802540259
PB - SciTePress