Title :
Data structured programming: Program design without arrays and pointers
Author :
Mills, Harlan D. ; Linger, Richard C.
Author_Institution :
IBM Corp., Bethesda, MD, USA
Abstract :
Structured programming introduced a new discipline for accessing the instructions of a program. In suitable programming languages, this discipline can be described in terms of program design without gotos. It can be shown, for example, that any functional result achievable in a programming language with gotos can be achieved in that same language without gotos if sequence, selection, and iteration control constructs are present. The gotos permit random access to the instructions while sequence, selection, and iteration provide much more limited and disciplined access. The authors introduce a new discipline for accessing the data of a program. Any functional result achievable in a programming language with arrays and pointers can be achieved in that same language without arrays and pointers if set, stack, and queue data types are present. The arrays and pointers permit random access to the data while sets, stacks, and queues provide much more limited and disciplined access.
Keywords :
data structures; structured programming; arrays; iteration; pointers; program design; programming languages; queue data types; random access; selection; sequence; set; software engineering; stack; structured programming; Algorithm design and analysis; Arrays; Cognition; Explosions; Memory; Programming; Correctness proofs; data structures; program correctness; program design; software engineering; structured programming;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1986.6312935