We stand with Ukraine  

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 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2007
Computing versus human thinking.
[BibTeX]
[DOI]
Peter Naur
Commun. ACM, 2007

1996
PARA'96 Conference Dinner Talk, 1996 August 20.
[BibTeX]
[DOI]
Peter Naur
Proceedings of the Applied Parallel Computing, 1996

1993
Understanding Turing's Universal Machine - Personal Style in Program Description.
[BibTeX]
[DOI]
Peter Naur
Comput. J., 1993

1992
Invited talk: Three Notions of Proof.
[BibTeX]
Peter Naur
Proceedings of the Designing Correct Circuits, 1992

1986
Thinking and Turing's Test.
[BibTeX]
[DOI]
Peter Naur
BIT, 1986

1985
Intuition in Software Development.
[BibTeX]
[DOI]
Peter Naur
Proceedings of the Mathematical Foundations of Software Development, 1985

1982
Formalization in Program Development.
[BibTeX]
[DOI]
Peter Naur
BIT, 1982

1980
Impressions of the Early Days of Programming.
[BibTeX]
[DOI]
Peter Naur
BIT, 1980

1979
Critique of the ISO Data Processing Vocabulary.
[BibTeX]
[DOI]
Peter Naur
Comput. J., 1979

1978
The European side of the last phase of the development of ALGOL 60.
[BibTeX]
[DOI]
Peter Naur
ACM SIGPLAN Notices, 1978

Transcripts of presentations.
[BibTeX]
[DOI]
Alan J. Perlis
,
Peter Naur
Proceedings of the History of Programming Languages, 1978

1975
Programming Languages, Natural Languages, and Mathematics.
[BibTeX]
[DOI]
Peter Naur
Commun. ACM, 1975

1974
Trends in Computer Science Education.
[BibTeX]
[DOI]
Peter Naur
Proceedings of the GI - 4. Jahrestagung, Berlin, 9.-12. Oktober 1974, 1974

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

1966
The science of datalogy.
[BibTeX]
[DOI]
Peter Naur
Commun. ACM, 1966

Program translation viewed as a general data processing problem.
[BibTeX]
[DOI]
Peter Naur
Commun. ACM, 1966

1965
The performance of a system for automatic segmentation of programs within an ALGOL compiler (GIER ALGOL).
[BibTeX]
[DOI]
Peter Naur
Commun. ACM, 1965

1964
Remarks on algorithm 91: Chebyshev curve fit.
[BibTeX]
[DOI]
Peter Naur
Commun. ACM, 1964

Certification of algorithm 150: SYMINV2.
[BibTeX]
[DOI]
Peter Naur
Commun. ACM, 1964

Certification of algorithm 122: Tridiagonal matrix.
[BibTeX]
[DOI]
Peter Naur
Commun. ACM, 1964

1963
GIER-A Danish Computer of Medium Size.
[BibTeX]
[DOI]
Christian Gram
,
Ole Hestvik
,
Henning Isaksson
,
P. T. Jacobsen
,
Jørn Jensen
,
Peter Naur
,
Bent Scharøe Petersen
,
B. Svejgaard
IEEE Trans. Electron. Comput., 1963

Revised report on the algorithmic language ALGOL 60.
[BibTeX]
[DOI]
John W. Backus
,
Friedrich L. Bauer
,
Julien Green
,
C. Katz
,
John McCarthy
,
Peter Naur
,
Alan J. Perlis
,
Heinz Rutishauser
,
Klaus Samelson
,
Bernard Vauquois
,
Joseph Henry Wegstein
,
Adriaan van Wijngaarden
,
Michael Woodger
Comput. J., 1963

Certification of algorithm 85: Jacobi.
[BibTeX]
[DOI]
Peter Naur
Commun. ACM, 1963

Additional remarks on algorithm 52: a set of test matrices.
[BibTeX]
[DOI]
Peter Naur
Commun. ACM, 1963

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

Documentation problems: ALGOL 60.
[BibTeX]
[DOI]
Peter Naur
Commun. ACM, 1963

Certification of algorithms 120 and matrix inversion by Gauss-Jordan inversion II.
[BibTeX]
[DOI]
Peter Naur
Commun. ACM, 1963

Certification of algorithms 117 and 118 magic squares (even and odd orders).
[BibTeX]
[DOI]
Peter Naur
Commun. ACM, 1963

Remark on algorithm 107: Gauss's method.
[BibTeX]
[DOI]
Peter Naur
Commun. ACM, 1963

Certification of algorithm for calculating primes by means of GPS.
[BibTeX]
[DOI]
Peter Naur
Commun. ACM, 1963

Remarks on and certification of algorithm 52: a set of test matrices.
[BibTeX]
[DOI]
Peter Naur
Commun. ACM, 1963

Remarks on and certification of algorithm 50: inverse of a finite segment of the Hilbert matrix.
[BibTeX]
[DOI]
Peter Naur
Commun. ACM, 1963

Remarks on algorithm 42: invert.
[BibTeX]
[DOI]
Peter Naur
Commun. ACM, 1963

Revised report on the algorithm language ALGOL 60.
[BibTeX]
[DOI]
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
Commun. ACM, 1963

1961
A storage allocation scheme for ALGOL 60.
[BibTeX]
[DOI]
Jørn Jensen
,
Per Mondrup
,
Peter Naur
Commun. ACM, 1961


  Loading...