Investigation of Intrinsically Error-Free Programs.

Abstract : The report analyzes the application of machine design techniques to software development. The techniques of finite state machine design are extended to software design. The requirements for an automated programming system are developed and a prototype system is described. (Author)