Computing, a human activity (Book, 1992) []
skip to content
Computing, a human activity

Computing, a human activity

Author: Peter Naur
Publisher: New York : ACM Press ; Reading, Mass. : Addison-Wesley Pub. Co., ©1992.
Edition/Format:   Print book : EnglishView all editions and formats

(not yet rated) 0 with reviews - Be the first.

More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...


Additional Physical Format: Online version:
Naur, Peter.
Computing, a human activity.
New York : ACM Press ; Reading, Mass. : Addison-Wesley Pub. Co., ©1992
Document Type: Book
All Authors / Contributors: Peter Naur
ISBN: 0201580691 9780201580693
OCLC Number: 23253583
Description: xxvi, 630 pages : illustrations ; 24 cm
Responsibility: Peter Naur ; foreword by Erik Frøkjær, Edda Sveinsdottir.
More information:

Table of Contents:

by orcmid (WorldCat user on 2007-11-02)

Foreword, Erik Frøkjær and Edda Sveinsdottir Preface 1. UNDERSTANDING THE HUMAN ACTIVITY OF COMPUTING 1.1 The Place of Programming in a World of Problems, Tools, and People (1965) 1.2 Data and Their Applications (1974) 1.3 Programming Languages, Natural Languages, and Mathematics (1975) 1.4 Programming as Theory Building (1985) 1.5 Computing and the So-Called Foundations of the So-Called Science (1990) 2. ALGOL 60 AND PROGRAMMING LANGUAGES 2.1 Contributions to ALGOL 60 (1959-60) 2.2 Successes and Failures of the ALGOL Effort (1968) 2.3 Aad van Wijngaarden's Contributions to ALGOL 60 (1981) 2.4 Programming Languages -- Status and Trends (1972) 2.5 Review of John Backus: Can Programming Be Liberated from the Von Neumann Style? A Functional Style and Its Algebra of Programs (1978) 3. COMPILER CONSTRUCTION AND DATA PROCESSING 3.1 The Design of the Gier ALGOL Compiler (1963) 3.2 Checking of Operand Types in ALGOL Compilers (1965) 3.3 Certification of Algorithms (1963) 3.4 Organizing the Use of Multi-Level Stores (1965) 3.5 Program Translation Viewed as a General Data Processing Problem (1966) 4. THE PHILOSOPHY OF HOW TO TEACH COMPUTING 4.1 Datalogy and Datamatics and Their Place in Education (1966) 4.2 Outline of a Course of Datalogy and Datamatics (1966) 4.3 The Science of Datalogy -- Leter to the Editor (1966) 4.4 Datalogy, the Science of Data and Data Processes, and Its Place in Education (1968) 4.5 Project Activity in Computer Science Education (1970) 4.6 Plans and Ideas for an Institute of Datalogy at Copenhagen University(1970) 4.7 Datalogy Zero -- a Freshman Course of Computer Science (1974) 4.8 Writing Reports -- a Guide (1976) 4.9 Computer Science in High School -- Letter to the Editor (1980) 4.10 Programming of a Well-Understood Task (1981) 4.11 Blind Alleys in University Computing (1983) 5. RELIABLE AND ORDERLY PROGRAMMING 5.1 Go To Statements and ALGOL Style (1963) 5.2 Proof of Algorithms by General Snapshot (1966) 5.3 Programming by Action Clusters (1969) 5.4 Problem Formulation -- the Fertile Soil of the Software Development Process (1971) 5.5 Design and Development of Large Data Systems (1974) 5.6 Control Record Driven Processing (1977) 5.7 Software Reliability (1977) 5.8 Diminishing Returns of User Programming (1978) 5.9 Prospects for the Programming Methodologies (1981) 6. PROGRAMMING STUDIED EMPIRICALLY 6.1 An Experiment on Program Development (1972) 6.2 An Empirical Approach to Program Analysis and Construction (1981) 6.3 Program Development Studies Based on Diaries (1983) 7. INTUITION AND FORMALIZATION IN PROGRAM DEVELOPMENT 7.1 Formalization in Program Development (1972) 7.2 Intuition in Software Development (1985) 7.3 Review of J.-R. Abrial: Specification or How to Give Reality to Abstraction (1986) 7.4 Review of R. L. Schwartz and P. M. Melliar-Smith: From State Machines to Temporal Logic: Specification Methods for Protocol Standards (1986) 7.5 The Place of Strictly Defined Notation in Human Insight (1989) 8. COMPUTING AND HUMAN UNDERSTANDING 8.1 The Electronic Computer and the Brain (1954) 8.2 Thinking and Turing's Test (1986) 8.3 Review of D.Michie: Machine Intelligence and Related Topics (1985) 8.4 Programming Languages Are Not Languages -- Why 'Programming Language' is a Misleading Designation (1988) 8.5 Review of Y. Shoham: Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence (1989) 8.6 Causes and Human Expectations and Intents (1989) 8.7 Human Knowing, Language, and Discrete Structures (1988) 9. COMPUTERS AND SOCIETY 9.1 Computers and Society (1987) 9.2 The State of Computing 1970 (1970) 9.3 Top Speed -- Right into the Abyss (1971) 9.4 The Impact on Society of Computers in Education (1975) 9.5 Man is Not a Machine -- and Vice Versa (1984) 10. ROOTS 10.1 Autobiographical Notes (1990) 10.2 Computation of Special Perturbations by an Electronic Calculator (1951) 10.3 Regnecentralen and ALGOL 60 (1976) 10.4 Niels Ivar Bech, the Man Who Created Regnecentralen (1971) 10.5 Obituary of Niels Ivar Bech, 1920 August 22 - 1975 July 25 (1975) Index Credit References


by orcmid (WorldCat user on 2007-11-02)

Peter Naur, known for his editing of the ALGOL 60 report, received the 2006 Turing Award for that achievement and others in his ensuing career. This book captures the development of his thinking on computing up through 1990 when he provided remarks on the material along with autobiographical notes. Naur used the occasion of his Turing Award Lecture (available in print and on-line video) to express his disatisfaction with a number of directions taken in Computer Science. This book is an useful reference to deconstruction of those concerns.


User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...


Be the first.

Similar Items

Related Subjects:(3)

User lists with this item (3)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.