Synthesis and Structural Analysis of Abstract Programs
Don Cowell, Duncan Fyfe Gillies, Agnes Kaposi · The Computer Journal · 1980
A theory of abstract programs is introduced which permits the synthesis of all control structures of a given size and facilitates the analysis and restructuring of programs. The paper illustrates the use of the proposed methods by restructuring a wellknown algorithm (Quicksort).