Software Portability : Theory and Practice

Large amounts of time and money are currently being spent in transferring computer programs from one machine to another. It seems unlikely that the problem of transferring such programs efficiently will ever be completely solved. What can be done, however, is to program in such a way that transfer costs are minimized. The first part of this paper discusses some effective techniques which have been developed to facilitate the writing of mobile programs. The second part discusses two detailed applications of one of these techniques, the use of an Abstract Logical Language.Science, Faculty ofComputer Science, Department ofGraduat