The effect of data abstraction on loop programming techniques

This publication has 10 references indexed in Scilit:

• A generalized iterative construct and its semantics
  ACM Transactions on Programming Languages and Systems, 1987
• Iteration and abstract data types
  ACM SIGPLAN Notices, 1987
• Data structured programming: Program design without arrays and pointers
  IEEE Transactions on Software Engineering, 1986
• The Use of Termination Indicators in Computer Programming
  The Computer Journal, 1986
• Jumping About and Getting into a State
  The Computer Journal, 1984
• A generalized control structure and its formal definition
  Communications of the ACM, 1983
• Control Computations and the Design of Loop Control Structures
  IEEE Transactions on Software Engineering, 1978
• Abstraction mechanisms in CLU
  Communications of the ACM, 1977
• Abstraction and verification in Alphard
  Communications of the ACM, 1977
• Structured Programming with go to Statements
  ACM Computing Surveys, 1974