Portability—prediction and correction

We consider the attainment of portability through the successive refinements of an initial coding attempt. This may be seen as prediction followed by correction. Recent attention has been given to the mechanical selection of software variants stored in a single composite file. We conclude that, under some circumstances, it is also necessary to consider the updating of the file as well as extraction from it.