Author: Peter Naur
Danish scientist, born 1928.
Mag. Scient. in astronomy 1949, Dr. Phil. 1957.
1953-59 at Copenhagen University's Astronomiske Observatorium.
1959-69 at Regnecentralen and lecturer at Danmarks Tekniske Højskole and the Niels Bohr Institute.
1969-98 Professor of Computer Science (Datalogi) at Copenhagen University.
2006 Turing award for contributions to ALGOL 60.
Turing Award Video Lecture at UIST 2006, Montreux, Switzerland.
Publications
Co-authors
Productive Colleagues
Publications
Naur, Peter (2007): Computing versus human thinking. In Communications of the ACM, 50 (1) pp. 85-94. https://dl.acm.org/doi/10.1145/1188922
Naur, Peter (1975): Programming Languages, Natural Languages, and Mathematics. In Communications of the ACM, 18 (12) pp. 676-683.
Naur, Peter (1966): Program translation viewed as a general data processing problem. In Communications of the ACM, 9 (3) pp. 176-179. https://dl.acm.org/doi/10.1145/365230.365260
Naur, Peter (1965): The performance of a system for automatic segmentation of programs within an ALGOL compile. In Communications of the ACM, 8 (11) pp. 671-676. https://dl.acm.org/doi/10.1145/365660.365680
Naur, Peter (1964): Certification of algorithm 122: Tridiagonal matrix. In Communications of the ACM, 7 (3) pp. 144-145. https://dl.acm.org/doi/10.1145/363958.363969
Naur, Peter (1964): Certification of algorithm 150: SYMINV2. In Communications of the ACM, 7 (3) pp. 148. https://dl.acm.org/doi/10.1145/363958.363973
Naur, Peter (1964): Remarks on algorithm 91: Chebyshev curve fit. In Communications of the ACM, 7 (5) pp. 296. https://dl.acm.org/doi/10.1145/364099.364319
Backus, John W., Bauer, Friedrich L., Green, Julien, Katz, C., McCarthy, John, Perlis, Alan J., Rutishauser, Heinz, Samelson, Klaus, Vauquois, Bernard, Wegstein, Joseph Henry, Wijngaarden, Adriaan van, Woodger, Michael, Naur, Peter (1963): Revised report on the algorithm language ALGOL 60. In Communications of the ACM, 6 (1) pp. 1-17. https://dl.acm.org/doi/10.1145/366193.366201
Naur, Peter (1963): Remarks on algorithm 42: invert. In Communications of the ACM, 6 (1) pp. 38. https://dl.acm.org/doi/10.1145/366193.366232
Naur, Peter (1963): Remarks on and certification of algorithm 50: inverse of a finite segment of the Hilbert m. In Communications of the ACM, 6 (1) pp. 38-39. https://dl.acm.org/doi/10.1145/366193.366233
Naur, Peter (1963): Remarks on and certification of algorithm 52: a set of test matrices. In Communications of the ACM, 6 (1) pp. 39. https://dl.acm.org/doi/10.1145/366193.366235
Naur, Peter (1963): Certification of algorithm for calculating primes by means of GPS. In Communications of the ACM, 6 (1) pp. 39. https://dl.acm.org/doi/10.1145/366193.366237
Naur, Peter (1963): Remark on algorithm 107: Gauss\'s method. In Communications of the ACM, 6 (1) pp. 39. https://dl.acm.org/doi/10.1145/366193.366239
Naur, Peter (1963): Certification of algorithms 117 and 118 magic squares (even and odd orders). In Communications of the ACM, 6 (1) pp. 39-40. https://dl.acm.org/doi/10.1145/366193.366240
Naur, Peter (1963): Certification of algorithms 120 and matrix inversion by Gauss-Jordan inversion II. In Communications of the ACM, 6 (1) pp. 40. https://dl.acm.org/doi/10.1145/366193.366244
Naur, Peter (1963): Documentation problems: ALGOL 60. In Communications of the ACM, 6 (3) pp. 77-79. https://dl.acm.org/doi/10.1145/366274.366286
Naur, Peter (1963): Correction to earlier remarks on algorithm 42 invert, alg. 107 Gauss\'s method, alg 120 in. In Communications of the ACM, 6 (8) pp. 445. https://dl.acm.org/doi/10.1145/366707.367554
Naur, Peter (1963): Additional remarks on algorithm 52: a set of test matrices. In Communications of the ACM, 6 (8) pp. 446. https://dl.acm.org/doi/10.1145/366707.367559
Naur, Peter (1963): Certification of algorithm 85: Jacobi. In Communications of the ACM, 6 (8) pp. 447-448. https://dl.acm.org/doi/10.1145/366707.367563
Jensen, J., Mondrup, P., Naur, Peter (1961): A storage allocation scheme for ALGOL 60. In Communications of the ACM, 4 (10) pp. 441-445. https://dl.acm.org/doi/10.1145/366786.366803
Naur, Peter (2000): CHI and Human Thinking. In: Proceedings of the First Nordic Conference on Human-Computer Interaction , 2000, .
Naur, Peter (2006): Computing versus human thinking. In: Proceedings of the ACM Symposium on User Interface Software and Technology , 2006, . pp. 1-2. https://doi.acm.org/10.1145/1166253.1166254