Show Reference: "Notes on Data Structuring"

Notes on Data Structuring In Structured Programming (1972), pp. 83-174 by Charles A. R. Hoare edited by Ole-Johan Dahl, Edsger W. Dijkstra, Charles A. R. Hoare
@incollection{hoare-1972,
    abstract = {An abstract is not available.},
    address = {London, UK, UK},
    author = {Hoare, Charles A. R.},
    booktitle = {Structured Programming},
    chapter = {II},
    citeulike-article-id = {13210015},
    citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1243382},
    editor = {Dahl, Ole-Johan and Dijkstra, Edsger W. and Hoare, Charles A. R.},
    isbn = {0-12-200550-3},
    keywords = {abstraction, modelling, programming},
    pages = {83--174},
    posted-at = {2014-06-04 12:46:37},
    priority = {2},
    publisher = {Academic Press Ltd.},
    title = {Notes on Data Structuring},
    url = {http://portal.acm.org/citation.cfm?id=1243382},
    year = {1972}
}

See the CiteULike entry for more info, PDF links, BibTex etc.

The account of abstraction due to Hoare is that we first cluster objects according to arbitrary similarities. We then find clusters which are predictive of the future and name them. Subsequently, the similarities within such a named cluster are thought of as essential whereas the differences are perceived as unimportant.

The account of the process of abstraction due to Hoare is

  • Abstraction (selecting those properties of the real things we want to represent in our abstraction)
  • Representation (choosing symbols like words, pictograms... for the abstraction)
  • Manipulation (declaring rules for how to use the symbolic representation to predict what will happen to the real things under certain circumstances)
  • Axiomatisation (declaring rigorously the relationship between the symbols used in the representation and the properties of the real things being abstracted from)