Peter Naur

According to our database1, Peter Naur authored at least 35 papers between 1961 and 2007.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of four.

Awards

Turing Prize recipient

Turing Prize 2005, "For fundamental contributions to programming language design and the definition of ALGOL|ALGOL 60, to compiler design, and to the art and practice of computer programming.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2007
Computing versus human thinking.
Commun. ACM, 2007

1996
PARA'96 Conference Dinner Talk, 1996 August 20.
Proceedings of the Applied Parallel Computing, 1996

1993
Understanding Turing's Universal Machine - Personal Style in Program Description.
Comput. J., 1993

1992
Invited talk: Three Notions of Proof.
Proceedings of the Designing Correct Circuits, 1992

1986
Thinking and Turing's Test.
BIT, 1986

1985
Intuition in Software Development.
Proceedings of the Mathematical Foundations of Software Development, 1985

1982
Formalization in Program Development.
BIT, 1982

1980
Impressions of the Early Days of Programming.
BIT, 1980

1979
Critique of the ISO Data Processing Vocabulary.
Comput. J., 1979

1978
The European side of the last phase of the development of ALGOL 60.
ACM SIGPLAN Notices, 1978

Transcripts of presentations.
Proceedings of the History of Programming Languages, 1978

1975
Programming Languages, Natural Languages, and Mathematics.
Commun. ACM, 1975

1974
Trends in Computer Science Education.
Proceedings of the GI - 4. Jahrestagung, Berlin, 9.-12. Oktober 1974, 1974

1968
'Datalogy', the science of data and data processes.
Proceedings of the Information Processing, Proceedings of IFIP Congress 1968, Edinburgh, UK, 5-10 August 1968, Volume 2, 1968

1966
The science of datalogy.
Commun. ACM, 1966

Program translation viewed as a general data processing problem.
Commun. ACM, 1966

1965
The performance of a system for automatic segmentation of programs within an ALGOL compiler (GIER ALGOL).
Commun. ACM, 1965

1964
Remarks on algorithm 91: Chebyshev curve fit.
Commun. ACM, 1964

Certification of algorithm 150: SYMINV2.
Commun. ACM, 1964

Certification of algorithm 122: Tridiagonal matrix.
Commun. ACM, 1964

1963
GIER-A Danish Computer of Medium Size.
IEEE Trans. Electron. Comput., 1963

Revised report on the algorithmic language ALGOL 60.
Comput. J., 1963

Certification of algorithm 85: Jacobi.
Commun. ACM, 1963

Additional remarks on algorithm 52: a set of test matrices.
Commun. ACM, 1963

Correction to earlier remarks on algorithm 42 invert, alg. 107 Gauss's method, alg 120 inversion II, and gjr.
Commun. ACM, 1963

Documentation problems: ALGOL 60.
Commun. ACM, 1963

Certification of algorithms 120 and matrix inversion by Gauss-Jordan inversion II.
Commun. ACM, 1963

Certification of algorithms 117 and 118 magic squares (even and odd orders).
Commun. ACM, 1963

Remark on algorithm 107: Gauss's method.
Commun. ACM, 1963

Certification of algorithm for calculating primes by means of GPS.
Commun. ACM, 1963

Remarks on and certification of algorithm 52: a set of test matrices.
Commun. ACM, 1963

Remarks on and certification of algorithm 50: inverse of a finite segment of the Hilbert matrix.
Commun. ACM, 1963

Remarks on algorithm 42: invert.
Commun. ACM, 1963

Revised report on the algorithm language ALGOL 60.
Commun. ACM, 1963

1961
A storage allocation scheme for ALGOL 60.
Commun. ACM, 1961


  Loading...