Peter Naur - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 39 from 39

2007

Computing versus human thinkingPeter Naur. CACM, 50(1):85-94, 2007. [doi]

2006

Computing versus human thinkingPeter Naur. uist 2006: 1-2 [doi]

1996

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

1993

Understanding Turing s Universal Machine - Personal Style in Program DescriptionPeter Naur. cj, 36(4):351-372, 1993.

1992

Invited talk: Three Notions of ProofPeter Naur. ifip10-2 1992: 97-101

1986

Thinking and Turing s TestPeter Naur. bit, 26(2):175-187, 1986.

1985

Intuition in Software DevelopmentPeter Naur. tapsoft 1985: 60-79

Programming as theory buildingPeter Naur. Microprocessing and Microprogramming, 15(5):253-261, 1985. [doi]

1982

Formalization in Program DevelopmentPeter Naur. bit, 22(4):437-453, 1982.

1980

Impressions of the Early Days of ProgrammingPeter Naur. bit, 20(4):414-425, 1980.

1979

Critique of the ISO Data Processing VocabularyPeter Naur. cj, 22(3):286-288, 1979.

1978

The European side of the last phase of the development of ALGOL 60Peter Naur. HOPL 1981: 92-139 [doi]

The European side of the last phase of the development of ALGOL 60Peter Naur. SIGPLAN, 13(8):15-44, 1978. [doi]

Transcripts of presentationsAlan J. Perlis, Peter Naur. HOPL 1981: 139-161 [doi]

1975

Programming Languages, Natural Languages, and MathematicsPeter Naur. CACM, 18(12):676-683, 1975.

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

1974

Trends in Computer Science EducationPeter Naur. gi 1975: 85-93

1968

Datalogy , the science of data and data processesPeter Naur. ifip 1968: 1383-1387

1966

Program translation viewed as a general data processing problemPeter Naur. CACM, 9(3):176-179, 1966. [doi]

The science of datalogyPeter Naur. CACM, 9(7):485, 1966. [doi]

1965

The performance of a system for automatic segmentation of programs within an ALGOL compiler (GIER ALGOL)Peter Naur. CACM, 8(11):671-676, 1965. [doi]

1964

Certification of algorithm 122: Tridiagonal matrixPeter Naur. CACM, 7(3):144-145, 1964. [doi]

Certification of algorithm 150: SYMINV2Peter Naur. CACM, 7(3):148, 1964. [doi]

Remarks on algorithm 91: Chebyshev curve fitPeter Naur. CACM, 7(5):296, 1964. [doi]

1963

Revised report on the algorithm language ALGOL 60John 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. CACM, 6(1):1-17, 1963. [doi]

Revised report on the algorithmic language ALGOL 60John W. Backus, Friedrich L. Bauer, Julien Green, C. Katz, John McCarthy 0001, Peter Naur, Alan J. Perlis, Heinz Rutishauser, Klaus Samelson, Bernard Vauquois, Joseph Henry Wegstein, Adriaan van Wijngaarden, Michael Woodger. cj, 5(4):349-367, 1963. [doi]

GIER-A Danish Computer of Medium SizeChristian Gram, Ole Hestvik, Henning Isaksson, P. T. Jacobsen, Jørn Jensen, Peter Naur, Bent Scharøe Petersen, B. Svejgaard. TC, 12(6):629-650, 1963. [doi]

Remarks on algorithm 42: invertPeter Naur. CACM, 6(1):38, 1963. [doi]

Correction to earlier remarks on algorithm 42 invert, alg. 107 Gauss s method, alg 120 inversion II, and gjrPeter Naur. CACM, 6(8):445, 1963. [doi]

Remark on algorithm 107: Gauss s methodPeter Naur. CACM, 6(1):39, 1963. [doi]

Certification of algorithms 120 and matrix inversion by Gauss-Jordan inversion IIPeter Naur. CACM, 6(1):40, 1963. [doi]

Certification of algorithms 117 and 118 magic squares (even and odd orders)Peter Naur. CACM, 6(1):39-40, 1963. [doi]

Additional remarks on algorithm 52: a set of test matricesPeter Naur. CACM, 6(8):446, 1963. [doi]

Certification of algorithm 85: JacobiPeter Naur. CACM, 6(8):447-448, 1963. [doi]

Certification of algorithm for calculating primes by means of GPSPeter Naur. CACM, 6(1):39, 1963. [doi]

Remarks on and certification of algorithm 50: inverse of a finite segment of the Hilbert matrixPeter Naur. CACM, 6(1):38-39, 1963. [doi]

Remarks on and certification of algorithm 52: a set of test matricesPeter Naur. CACM, 6(1):39, 1963. [doi]

Documentation problems: ALGOL 60Peter Naur. CACM, 6(3):77-79, 1963. [doi]

1961

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

Sign in or sign up to see more results.

runs on WebDSL