JFF1: Exchanging the values of two variables

Abstract

The problem of exchanging the values of two variables without using additional variables is very well-known. Most presentations, however, rarely highlight the properties on which the solution depends. In this short note, we investigate these properties, in order to generalize and better understand the problem.

Publication
Technical report (JFF series)

History

  • July 2007: improved the note’s structure
  • May 2007: first version of the note is made public
Avatar
Computer Scientist

My research interests include software reliability, software verification, and formal methods applied to software engineering. I am also interested in interactive storytelling. For more details, see some of my projects or my selected (or recent) publications. More posts are available in my blog. Follow me on Twitter or add me on LinkedIn.