Peter Naur

41 papers A* 2Journal 29Unranked 7
YearRankTypeTitle / Venue / Authors
2007 J jnl
Computing versus human thinking.
Commun. ACM
Peter Naur
2006 A* conf
Computing versus human thinking.
UIST
Peter Naur
1996 — conf
PARA'96 Conference Dinner Talk, 1996 August 20.
PARA
Peter Naur
1993 — ch.
Formalization in Program Development.
Program Verification
Peter Naur
1993 — ch.
Proof of Algorithms by General Snapshots.
Program Verification
Peter Naur
1993 — ch.
The Place of Strictly Defined Notation in Human Insight.
Program Verification
Peter Naur
1993 J jnl
Understanding Turing's Universal Machine - Personal Style in Program Description.
Comput. J.
Peter Naur
1992 — conf
Invited talk: Three Notions of Proof.
Designing Correct Circuits
Peter Naur
1986 J jnl
Thinking and Turing's Test.
BIT
Peter Naur
1985 — conf
Intuition in Software Development.
TAPSOFT, Vol.2
Peter Naur
1982 J jnl
Formalization in Program Development.
BIT
Peter Naur
1980 J jnl
Impressions of the Early Days of Programming.
BIT
Peter Naur
1979 J jnl
Critique of the ISO Data Processing Vocabulary.
Comput. J.
Peter Naur
1978 — conf
The European side of the last phase of the development of ALGOL 60.
HOPL
Peter Naur
1978 J jnl
The European side of the last phase of the development of ALGOL 60.
ACM SIGPLAN Notices
Peter Naur
1978 — conf
Transcripts of presentations.
HOPL
Alan J. Perlis, Peter Naur
1975 A* conf
Programming Languages, Natural Languages, and Mathematics.
POPL
Peter Naur
1975 J jnl
Programming Languages, Natural Languages, and Mathematics.
Commun. ACM
Peter Naur
1974 — conf
Trends in Computer Science Education.
GI Jahrestagung
Peter Naur
1968 — conf
'Datalogy', the science of data and data processes.
IFIP Congress (2)
Peter Naur
1966 J jnl
Program translation viewed as a general data processing problem.
Commun. ACM
Peter Naur
1966 J jnl
The science of datalogy.
Commun. ACM
Peter Naur
1965 J jnl
The performance of a system for automatic segmentation of programs within an ALGOL compiler (GIER ALGOL).
Commun. ACM
Peter Naur
1964 J jnl
Certification of algorithm 122: Tridiagonal matrix.
Commun. ACM
Peter Naur
1964 J jnl
Certification of algorithm 150: SYMINV2.
Commun. ACM
Peter Naur
1964 J jnl
Remarks on algorithm 91: Chebyshev curve fit.
Commun. ACM
Peter Naur
1963 J jnl
Additional remarks on algorithm 52: a set of test matrices.
Commun. ACM
Peter Naur
1963 J jnl
Certification of algorithm 85: Jacobi.
Commun. ACM
Peter Naur
1963 J jnl
Certification of algorithm for calculating primes by means of GPS.
Commun. ACM
Peter Naur
1963 J jnl
Certification of algorithms 117 and 118 magic squares (even and odd orders).
Commun. ACM
Peter Naur
1963 J jnl
Certification of algorithms 120 and matrix inversion by Gauss-Jordan inversion II.
Commun. ACM
Peter Naur
1963 J jnl
Correction to earlier remarks on algorithm 42 invert, alg. 107 Gauss's method, alg 120 inversion II, and gjr.
Commun. ACM
Peter Naur
1963 J jnl
Documentation problems: ALGOL 60.
Commun. ACM
Peter Naur
1963 J jnl
GIER-A Danish Computer of Medium Size.
IEEE Trans. Electron. Comput.
Christian Gram, Ole Hestvik, Henning Isaksson, P. T. Jacobsen, Jørn Jensen, Peter Naur, Bent Scharøe Petersen, B. Svejgaard
1963 J jnl
Remark on algorithm 107: Gauss's method.
Commun. ACM
Peter Naur
1963 J jnl
Remarks on algorithm 42: invert.
Commun. ACM
Peter Naur
1963 J jnl
Remarks on and certification of algorithm 50: inverse of a finite segment of the Hilbert matrix.
Commun. ACM
Peter Naur
1963 J jnl
Remarks on and certification of algorithm 52: a set of test matrices.
Commun. ACM
Peter Naur
1963 J jnl
Revised report on the algorithm language ALGOL 60.
Commun. ACM
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
1963 J jnl
Revised report on the algorithmic language ALGOL 60.
Comput. J.
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
1961 J jnl
A storage allocation scheme for ALGOL 60.
Commun. ACM
Jørn Jensen, Per Mondrup, Peter Naur