×

Naur, Peter (b. 1928 d. 2016)

Author ID: naur.peter Recent zbMATH articles by "Naur, Peter"
Published as: Naur, P.; Naur, Peter
Homepage: http://www.naur.com/
External Links: MGP · Wikidata · dblp · GND
Awards: Turing Award (2005)
Documents Indexed: 23 Publications since 1951, including 6 Books
4 Contributions as Editor · 3 Further Contributions
Biographic References: 1 Publication
Co-Authors: 16 Co-Authors with 10 Joint Publications
89 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

21 Publications have been cited 89 times in 76 Documents Cited by Year
Revised report on the algorithmic language ALGOL 60. Zbl 0109.35105
Naur, P.; Backus, J. W.; Bauer, F. L.; Green, J.; Katz, C.; McCarthy, J.; Perlis, A. J.; Rutishauser, H.; Samelson, K.; Vauquois, B.; Wegstein, J. H.; van Wijngaarden, A.; Woodg er, M.
30
1963
Report on the algorithmic language ALGOL-60. Zbl 0089.12510
14
1960
The design of the GIER ALGOL compiler. I. II. Zbl 0116.09608
Naur, P.
10
1963
Formalization in program development. Zbl 0494.68013
Naur, Peter
4
1982
Programming by action clusters. Zbl 0187.13604
Naur, P.
3
1969
Bericht über die Algorithmische Sprache ALGOL 60 (ALGOL Bulletin Supplement No. 3). Zur Erinnerung an William Turanski. Herausgegeben von P. Naur. Zbl 0108.30206
Backus, J. W.; Bauer, F. L.; Green, J.; Katz, C.; McCarthy, J.; Perlis, A. J.; Rutishauser, Heinz; Samelson, K.; Vauquois, B.; Wegstein, J. H.; van Wijngaarden, A.; Woodger, M.
3
1963
An experiment on program development. Zbl 0249.68013
Naur, Peter
3
1972
Concise survey of computer methods. 2nd ed. Zbl 0331.68001
Naur, Peter
3
1976
Thinking and Turing’s test. Zbl 0625.68069
Naur, Peter
3
1986
A storage allocation scheme for ALGOL 60. Zbl 0103.35004
Jensen, J.; Mondrup, P.; Naur, P.
2
1961
The progress of ALGOL in Europe. Zbl 0105.32403
Naur, Peter
2
1962
Modified report on the algorithmic language ALGOL 60. Zbl 0338.68007
Backus, J. W.; Bauer, F. L.; Green, J.; Katz, C.; McCarthy, J.; Naur, P.; Perlis, A. J.; Rutishauser, Heinz; Samelson, K.; Vauquois, B.; Wegstein, J. H.; van Wijngaarden, A.; Woodger, M.
2
1976
Revised report on the algorithmic language ALGOL-60. (Algoritmicheskiĭ yazuk ALGOL-60. Peresmotrennoe soobshchenie. Translation from the English edited by E. P. Ershov, S. S. Lavrov and M. R. Shura-Bura.) Zbl 0146.14701
2
1965
The performance of a system for automatic segmentation of programs within an ALGOL compiler (GIER ALGOL). Zbl 0149.12604
Naur, P.
1
1965
Features of the Gier Algol 4 system. Zbl 0157.23901
Naur, P.
1
1968
A storage allocation scheme for ALGOL 60. Zbl 0101.10411
Jensen, J.; Mondrup, P.; Naur, P.
1
1961
Knowing and the mystique of logic and rules. Zbl 0875.03016
Naur, Peter
1
1995
Computing: a human activity. Zbl 0754.68002
Naur, Peter
1
1992
Proof versus formalization. Zbl 0815.68069
Naur, Peter
1
1994
Programming languages, natural languages, and mathematics. Zbl 0361.68036
Naur, Peter
1
1975
Pluralism in software engineering: Turing Award Winner Peter Naur explains. Edited by Kurt De Grave. Zbl 1328.68006
Daylight, Edgar G.; Naur, Peter
1
2011
Pluralism in software engineering: Turing Award Winner Peter Naur explains. Edited by Kurt De Grave. Zbl 1328.68006
Daylight, Edgar G.; Naur, Peter
1
2011
Knowing and the mystique of logic and rules. Zbl 0875.03016
Naur, Peter
1
1995
Proof versus formalization. Zbl 0815.68069
Naur, Peter
1
1994
Computing: a human activity. Zbl 0754.68002
Naur, Peter
1
1992
Thinking and Turing’s test. Zbl 0625.68069
Naur, Peter
3
1986
Formalization in program development. Zbl 0494.68013
Naur, Peter
4
1982
Concise survey of computer methods. 2nd ed. Zbl 0331.68001
Naur, Peter
3
1976
Modified report on the algorithmic language ALGOL 60. Zbl 0338.68007
Backus, J. W.; Bauer, F. L.; Green, J.; Katz, C.; McCarthy, J.; Naur, P.; Perlis, A. J.; Rutishauser, Heinz; Samelson, K.; Vauquois, B.; Wegstein, J. H.; van Wijngaarden, A.; Woodger, M.
2
1976
Programming languages, natural languages, and mathematics. Zbl 0361.68036
Naur, Peter
1
1975
An experiment on program development. Zbl 0249.68013
Naur, Peter
3
1972
Programming by action clusters. Zbl 0187.13604
Naur, P.
3
1969
Features of the Gier Algol 4 system. Zbl 0157.23901
Naur, P.
1
1968
Revised report on the algorithmic language ALGOL-60. (Algoritmicheskiĭ yazuk ALGOL-60. Peresmotrennoe soobshchenie. Translation from the English edited by E. P. Ershov, S. S. Lavrov and M. R. Shura-Bura.) Zbl 0146.14701
2
1965
The performance of a system for automatic segmentation of programs within an ALGOL compiler (GIER ALGOL). Zbl 0149.12604
Naur, P.
1
1965
Revised report on the algorithmic language ALGOL 60. Zbl 0109.35105
Naur, P.; Backus, J. W.; Bauer, F. L.; Green, J.; Katz, C.; McCarthy, J.; Perlis, A. J.; Rutishauser, H.; Samelson, K.; Vauquois, B.; Wegstein, J. H.; van Wijngaarden, A.; Woodg er, M.
30
1963
The design of the GIER ALGOL compiler. I. II. Zbl 0116.09608
Naur, P.
10
1963
Bericht über die Algorithmische Sprache ALGOL 60 (ALGOL Bulletin Supplement No. 3). Zur Erinnerung an William Turanski. Herausgegeben von P. Naur. Zbl 0108.30206
Backus, J. W.; Bauer, F. L.; Green, J.; Katz, C.; McCarthy, J.; Perlis, A. J.; Rutishauser, Heinz; Samelson, K.; Vauquois, B.; Wegstein, J. H.; van Wijngaarden, A.; Woodger, M.
3
1963
The progress of ALGOL in Europe. Zbl 0105.32403
Naur, Peter
2
1962
A storage allocation scheme for ALGOL 60. Zbl 0103.35004
Jensen, J.; Mondrup, P.; Naur, P.
2
1961
A storage allocation scheme for ALGOL 60. Zbl 0101.10411
Jensen, J.; Mondrup, P.; Naur, P.
1
1961
Report on the algorithmic language ALGOL-60. Zbl 0089.12510
14
1960
all top 5

Cited by 90 Authors

7 Naur, Peter
2 Johansen, Peter
2 Kastens, Uwe
2 Kopriva, Jiri
2 Niemi, Timo
2 Thorup, Mikkel
2 Waite, William M.
2 Wynn, Peter
1 Aggelis, Vasilios
1 Ah-kee, Alain
1 Aliyazicioglu, Zekeriya
1 Alstrup, Stephen
1 Apt, Krzysztof Rafal
1 Beatty, John C.
1 Bergman, Stefan
1 Berry, Daniel M.
1 Birkedal, Lars
1 Bjørner, Dines
1 Booss-Bavnbek, Bernhelm
1 Busam, Vincent A.
1 Carmichael, Iain
1 Chirica, Laurian M.
1 Christiansen, Søren
1 Clenshaw, C. W.
1 Colvin, Robert J.
1 Cousot, Patrick
1 Daylight, Edgar G.
1 Dekker, Th. J.
1 Desjardins, Pierre
1 Dounias, Georgios D.
1 Duncan, F. G.
1 Earley, Jay
1 Erbas, Cengiz
1 Fabian, Václav
1 Floyd, Christiane
1 Frøkjær, Erik
1 Germano, Giorgio M.
1 Ginsburg, Theo
1 Gruska, Jozef
1 Gusev, Vasiliĭ Vasil’evich
1 Habermann, A. Nico
1 Hayes, Ian J.
1 Herriot, John G.
1 Jensen, Jarl
1 Johnston, John B.
1 Jones, Cliff B.
1 Jones, Neil D.
1 Jotsov, Vladimir Simov
1 Karkazis, Ioannis
1 Kostolanský, Eduard
1 Kuhn, Tobias U.
1 Langmaack, Hans
1 Lauridsen, Peter W.
1 Lecarme, Olivier
1 Ledgard, Henry F.
1 Macal, Charles M.
1 Maggiolo-Schettini, Andrea
1 Marron, James Stephen
1 Martin, David F.
1 Mayoh, Brian H.
1 Mondrup, P.
1 Morpurgo, Rosamaria
1 Nivat, Maurice
1 North, Michael J.
1 Odenthal, Dirk
1 Olderog, Ernst-Rüdiger
1 Pratt, Terrence W.
1 Reghizzi, S. C.
1 Reichensdörfer, Elias
1 Rus, Teodor
1 Schappert, Heinz
1 Scowen, R. S.
1 Sgurev, Vassil Stoyanov
1 Simonsen, Jakob Grue
1 Sokołowski, Stefan
1 Stoer, Josef
1 Sveinsdottir, Edda
1 Swanson, Stanley M.
1 Tanik, Murat M.
1 Tofte, Mads
1 Topor, Rodney W.
1 Tsakonas, Athanasios
1 Veling, E. J. M.
1 Watanabe, Shunro
1 Wharton, Robert M.
1 Wichmann, Brian A.
1 Wippermann, Hans-Wilm
1 Wollherr, Dirk
1 Wood, Derick
1 Woodger, M.

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.