Corpus ID: 17008161

Ii. Notes on Data Structuring *

@inproceedings{HoareIiNO,
  title={Ii. Notes on Data Structuring *},
  author={Charles Antony Richard Hoare}
}
In the development of our understanding of complex phenomena, the most powerful tool available to the human intellect :is abstraction. Abstraction arises from a recognition of similarities between certain objects, situations, or processes in the real world, and the decision to concentrate on these similarities, and to ignore for the time being the differences. As soon as we have discovered which similarities are relevant to the prediction and control of future events, we will tend to regard the… Expand

Figures from this paper

References

SHOWING 1-7 OF 7 REFERENCES
Another look at data
  • G. Mealy
  • Computer Science
  • AFIPS '67 (Fall)
  • 1967
TLDR
This paper sketches a theory of data which may serve to clarify questions about data, based on a number of old ideas which may, as a result, seem obvious. Expand
Program development by stepwise refinement
TLDR
The process of successive refinement of specifications is illustrated by a short but nontrivial example, from which a number of conclusions are drawn regarding the art and the instruction of programming. Expand
The Art in Computer Programming
TLDR
Here the authors haven’t even started the project yet, and already they’re forced to answer many questions: what will this thing be named, what directory will it be in, what type of module is it, how should it be compiled, and so on. Expand
Notes on structured programming
TLDR
The final author version and the galley proof are versions of the publication after peer review that features the final layout of the paper including the volume, issue and page numbers. Expand
The programming language PASCAL
  • J. Wakerly
  • Computer Science
  • Microprocess. Microsystems
  • 1979
Programming and Programming Languages. Contribution to Conference of European Chapter of
  • Programming and Programming Languages. Contribution to Conference of European Chapter of
  • 1970
A Basis for a Mathemetical Theory of Computation in Computer Programming and Formal Systems
  • Braffort, P. & Hirschberg D
  • 1963