Abstract: | The GLIDE system is an effectively language-independent aid of modest proportions for developing programs by stepwise refinement. The basis of the system is a suitable program file environment The system has been implemented on the Imperial College Computer Centre Control Data machine and is currently available for the development of programs written in PASCAL, ALGOL, FORTRAN, SIMULA and JCL (Job Control Language). The program itself is written in PASCAL The facilities obtained within the scope and limitations of the system conception suggest that this type of system could be given further attention. |