Peter Naur

Peter Naur: Computing versus human thinking. Commun. ACM 50(1): 85-94 (2007)

Peter Naur: Computing versus human thinking. UIST 2006: 1-2

Peter Naur: PARA'96 Conference Dinner Talk, 1996 August 20. PARA 1996: 529-533

Peter Naur: Understanding Turing's Universal Machine - Personal Style in Program Description. Comput. J. 36(4): 351-372 (1993)

Peter Naur: Invited talk: Three Notions of Proof. Designing Correct Circuits 1992: 97-101

Peter Naur: Thinking and Turing's Test. BIT 26(2): 175-187 (1986)

Peter Naur: Intuition in Software Development. TAPSOFT, Vol.2 1985: 60-79

Peter Naur: Formalization in Program Development. BIT 22(4): 437-453 (1982)

Peter Naur: Impressions of the Early Days of Programming. BIT 20(4): 414-425 (1980)

Peter Naur: Critique of the ISO Data Processing Vocabulary. Comput. J. 22(3): 286-288 (1979)

Peter Naur: Programming Languages, Natural Languages, and Mathematics. Commun. ACM 18(12): 676-683 (1975)

Peter Naur: Programming Languages, Natural Languages, and Mathematics. POPL 1975: 137-148

Peter Naur: Trends in Computer Science Education. GI Jahrestagung 1974: 85-93

Peter Naur: 'Datalogy', the science of data and data processes. IFIP Congress (2) 1968: 1383-1387

Peter Naur: Program translation viewed as a general data processing problem. Commun. ACM 9(3): 176-179 (1966)

Peter Naur: The performance of a system for automatic segmentation of programs within an ALGOL compiler (GIER ALGOL). Commun. ACM 8(11): 671-676 (1965)

Peter Naur: Certification of algorithm 122: Tridiagonal matrix. Commun. ACM 7(3): 144-145 (1964)

Peter Naur: Certification of algorithm 150: SYMINV2. Commun. ACM 7(3): 148 (1964)

Peter Naur: Remarks on algorithm 91: Chebyshev curve fit. Commun. ACM 7(5): 296 (1964)

John W. Backus, Friedrich L. Bauer, Julien Green, C. Katz, John McCarthy, Alan J. Perlis, Heinz Rutishauser, Klaus Samelson, Bernard Vauquois, Joseph Henry Wegstein, Adriaan van Wijngaarden, Michael Woodger, Peter Naur: Revised report on the algorithm language ALGOL 60. Commun. ACM 6(1): 1-17 (1963)

Peter Naur: Remarks on algorithm 42: invert. Commun. ACM 6(1): 38 (1963)

Peter Naur: Remarks on and certification of algorithm 50: inverse of a finite segment of the Hilbert matrix. Commun. ACM 6(1): 38-39 (1963)

Peter Naur: Remarks on and certification of algorithm 52: a set of test matrices. Commun. ACM 6(1): 39 (1963)

Peter Naur: Certification of algorithm for calculating primes by means of GPS. Commun. ACM 6(1): 39 (1963)

Peter Naur: Remark on algorithm 107: Gauss's method. Commun. ACM 6(1): 39 (1963)

Peter Naur: Certification of algorithms 117 and 118 magic squares (even and odd orders). Commun. ACM 6(1): 39-40 (1963)

Peter Naur: Certification of algorithms 120 and matrix inversion by Gauss-Jordan inversion II. Commun. ACM 6(1): 40 (1963)

Peter Naur: Documentation problems: ALGOL 60. Commun. ACM 6(3): 77-79 (1963)

Peter Naur: Correction to earlier remarks on algorithm 42 invert, alg. 107 Gauss's method, alg 120 inversion II, and gjr. Commun. ACM 6(8): 445 (1963)

Peter Naur: Additional remarks on algorithm 52: a set of test matrices. Commun. ACM 6(8): 446 (1963)

Peter Naur: Certification of algorithm 85: Jacobi. Commun. ACM 6(8): 447-448 (1963)

J. Jensen, P. Mondrup, Peter Naur: A storage allocation scheme for ALGOL 60. Commun. ACM 4(10): 441-445 (1961)