Side-Effect Removal Transformation

Authors:
Affiliations:
Venue:
IWPC '01 Proceedings of the 9th International Workshop on Program Comprehension
Year:
2001

Citing 0
Cited 5

An Empirical Investigation of the Influence of a Type of Side Effects on Program Comprehension

IEEE Transactions on Software Engineering
Amorphous program slicing

Journal of Systems and Software
Syntax-Directed Amorphous Slicing

Automated Software Engineering
Search based software testing of object-oriented containers

Information Sciences: an International Journal
Structural and functional sequence test of dynamic and state-based software with evolutionary algorithms

GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII

Quantified Score

Hi-index	0.00

Visualization

Abstract

Abstract: A side effect is any change in program state that occurs as a by-product of the evaluation of an expression. Side effects are often thought to impede program comprehension and to lead to complex, poorly understood and occasionally undefined semantics. Side-Effect Removal Transformation (SERT) improves comprehension by rewriting a program p which may contain side effects into a semantically equivalent program p' which is guaranteed to be side-effect free. This paper introduces the SERT approach to the side-effect problem, briefly reporting initial experience with an implementation of SERT for C programs called Linsert.