Synthesis and Structural Analysis of Abstract Programs

Open Access

1 August 1980

journal article
research article
Published by Oxford University Press (OUP) in The Computer Journal

Vol. 23 (3) , 243-247
https://doi.org/10.1093/comjnl/23.3.243

Abstract

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).

Keywords

ABSTRACT PROGRAMS
STRUCTURAL ANALYSIS
RESTRUCTURING
QUICKSORT
PERMITS
WELLKNOWN
ILLUSTRATES
ANALYSIS OF ABSTRACT
PROGRAMS A THEORY

This publication has 0 references indexed in Scilit: