Introduction

-Introduction
To swap two variables, x and y, is to give x the incoming value y, and y the incoming value of x. In Resolve CPP:

x &= y;
/*!
	x = #y;
	y = #x;
!*/

This is more efficient than copying, but the folks at the Reusable Software Research Group at The Ohio State University's Computer and Information Science Department would like to know if it is actually a completely different way of programming. So an experiment was performed to show that to be able to swap, we do not have to bend over backwards.

This is a data-flow analysis problem, and was therefore supervised by the Aristotle Research Group at OSU. An analysis framework (PAF,) developed by the ProLangs group at Rutgers was used to implement the experiment in C++. Also, some of the concepts from Resolve C++ were used in the development of the project.

The purpose of this document is to explain the analysis done to arrive at the figures in the summary report.

-= Isaac Jones
3 September, 1998