Edit Profile (opens in new tab) Backus, John Warner Compute Distance To: Compute Author ID: backus.j-w Published as: Backus, J. W.; Backus, John External Links: Wikidata · dblp Awards: Turing Award (1977) Documents Indexed: 13 Publications since 1959, including 2 Books 1 Further Contribution Co-Authors: 16 Co-Authors with 8 Joint Publications 83 Co-Co-Authors all top 5 Co-Authors 6 single-authored 7 Bauer, Friedrich Ludwig 7 Green, J. 7 Katz, Casimir 7 Naur, Peter 7 Perlis, Alan J. 7 Samelson, Klaus 7 van Wijngaarden, Adrian 7 Vauquois, Bernard 7 Wegstein, J. H. 7 Woodger, M. 6 McCarthy, John 6 Rutishauser, Heinz 1 Heising, William P. 1 MacCarthy, J. G. 1 Naur, P. 1 Rutishauser, S. 1 Zielke, Gerhard all top 5 Serials 2 Numerische Mathematik 2 Elektronisches Rechnen und Regeln 1 The Computer Journal. Section A / Section B 1 Communications of the ACM 1 Elektronische Datenverarbeitung 1 IEEE Transactions on Electronic Computers Fields 5 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 10 Publications have been cited 171 times in 165 Documents Cited by ▼ Year ▼ Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Zbl 0383.68013Backus, John 114 1978 Revised report on the algorithmic language ALGOL 60. Zbl 0109.35105Naur, 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. 28 1963 Report on the algorithmic language Algol 60. Zbl 0089.12510Backus, J. W.; Bauer, F. L.; Green, J.; Katz, C.; MacCarthy, J.; Perlis, A. J.; Rutishauser, Heinz; Samelson, K.; Vauquois, B.; Wegstein, J. H.; van Wijngaarden, A.; Woodger, M. 14 1960 The algebra of functional programs: function level reasoning, linear equations, and extended definitions. Zbl 0474.68009Backus, John 4 1981 Bericht über die Algorithmische Sprache ALGOL 60 (ALGOL Bulletin Supplement No. 3). Zur Erinnerung an William Turanski. Herausgegeben von P. Naur. Zbl 0108.30206Backus, 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 syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM conference. Zbl 0112.08301Backus, J. W. 3 1960 Modified report on the algorithmic language ALGOL 60. Zbl 0338.68007Backus, 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 FORTRAN. Zbl 0137.10902Backus, J. W.; Heising, W. P. 1 1964 Programming language semantics and closed applicative languages. Zbl 0308.68013Backus, John 1 1973 Revised report on the algorithmic language ALGOL-60. Zbl 0146.14701Backus, 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. 1 1965 The algebra of functional programs: function level reasoning, linear equations, and extended definitions. Zbl 0474.68009Backus, John 4 1981 Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Zbl 0383.68013Backus, John 114 1978 Modified report on the algorithmic language ALGOL 60. Zbl 0338.68007Backus, 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 language semantics and closed applicative languages. Zbl 0308.68013Backus, John 1 1973 Revised report on the algorithmic language ALGOL-60. Zbl 0146.14701Backus, 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. 1 1965 FORTRAN. Zbl 0137.10902Backus, J. W.; Heising, W. P. 1 1964 Revised report on the algorithmic language ALGOL 60. Zbl 0109.35105Naur, 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. 28 1963 Bericht über die Algorithmische Sprache ALGOL 60 (ALGOL Bulletin Supplement No. 3). Zur Erinnerung an William Turanski. Herausgegeben von P. Naur. Zbl 0108.30206Backus, 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 Report on the algorithmic language Algol 60. Zbl 0089.12510Backus, J. W.; Bauer, F. L.; Green, J.; Katz, C.; MacCarthy, J.; Perlis, A. J.; Rutishauser, Heinz; Samelson, K.; Vauquois, B.; Wegstein, J. H.; van Wijngaarden, A.; Woodger, M. 14 1960 The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM conference. Zbl 0112.08301Backus, J. W. 3 1960 all cited Publications top 5 cited Publications all top 5 Cited by 217 Authors 3 Broy, Manfred 3 Harrison, Peter G. 3 Khoshnevisan, Hessam 3 Kozyrev, Sergeĭ Vladimirovich 3 Naur, Peter 3 Nielson, Flemming 2 Buj, Dmytro B. 2 Cunha, Alcino 2 Germano, Giorgio M. 2 Kapitonova, Yu. V. 2 Kastens, Uwe 2 Kluge, Werner E. 2 Kopriva, Jiri 2 Latch, Dana May 2 Longo, Giuseppe 2 Maggiolo-Schettini, Andrea 2 Oliveira, José Nuno 2 Red’ko, V. N. 2 Riis Nielson, Hanne 2 Thorup, Mikkel 2 Visser, Joost 2 Waite, William M. 2 Wirsing, Martin 2 Wynn, Peter 2 Zhu, Hong 2 Zierer, Hans 1 Acharyulu, Gomatam V. S. 1 Achten, Peter 1 Aggelis, Vasilios 1 Ah-kee, Alain 1 Aldinucci, Marco 1 Alstrup, Stephen 1 Alves, Tiago L. 1 America, Pierre 1 Arbib, Michael A. 1 Baeten, Jos C. M. 1 Bahamonde, Antonio 1 Barendregt, Hendrik Pieter 1 Bazhanov, S. E. 1 Beatty, John C. 1 Beeri, Catriel 1 Bellia, Marco 1 Bellomo, Carryn 1 Bellot, Patrick 1 Bender, Marc 1 Benosman, Ryad 1 Benson, David B. 1 Berghammer, Rudolf 1 Bergman, Stefan 1 Bergstra, Jan A. 1 Berline, Chantal 1 Berry, Daniel M. 1 Birkedal, Lars 1 Bjørner, Dines 1 Blödorn, Harald 1 Böhm, Janko 1 Boley, Harold 1 Bono, Viviana 1 Borzov, Yu. V. 1 Boute, Raymond T. 1 Braßel, Bernd 1 Bresina, John L. 1 Bristow, Paul 1 Carlucci Aiello, Luigia 1 Carter, J. Lawrence 1 Caseau, Yves 1 Chirica, Laurian M. 1 Christiansen, Jan 1 Clenshaw, C. W. 1 Colvin, Robert J. 1 Courcelle, Bruno 1 Danelutto, Marco 1 Decker, Wolfram 1 Desjardins, Pierre 1 Domrachev, V. N. 1 Dosch, Walter 1 Dounias, Georgios D. 1 Drobushevich, G. A. 1 Duponcheel, Luc 1 Duponcheel, M. 1 Dybjer, Peter 1 Earley, Jay 1 Fabian, Václav 1 Fagin, Ronald 1 Fay, D. Q. M. 1 Fokkinga, Maarten M. 1 Frühbis-Krüger, Anne 1 Furbach, Ulrich 1 Gaissaryan, Sergey S. 1 Gärtner, Dietmar 1 Gibert, Jacek 1 Giloi, Wolfgang K. 1 Ginsburg, Theo 1 Goguen, Joseph Amadee 1 Gokhale, Maya B. 1 Gorbatsevich, M. I. 1 Gorlatch, Sergei 1 Gruska, Jozef 1 Gueth, R. 1 Gusev, Vasiliĭ Vasil’evich ...and 117 more Authors all top 5 Cited in 63 Serials 25 Theoretical Computer Science 11 Acta Informatica 6 Cybernetics 6 BIT. Nordisk Tidskrift for Informationsbehandling 5 Information Processing Letters 5 Software. Practice & Experience 5 Formal Aspects of Computing 5 Cybernetics and Systems Analysis 4 International Journal of Computer & Information Sciences 4 Numerische Mathematik 3 BIT 3 Journal of Computer and System Sciences 3 Kybernetika 3 Semigroup Forum 3 Journal of Symbolic Computation 3 Journal of Functional Programming 2 Computing 2 Czechoslovak Mathematical Journal 2 Programming and Computer Software 2 Journal of Computer Science and Technology 2 Information and Computation 2 Neural Computation 2 International Journal of Computer Mathematics 2 Distributed Computing 2 RAIRO. Informatique Théorique et Applications 2 Annals of Mathematics and Artificial Intelligence 2 Lobachevskii Journal of Mathematics 1 International Journal of Mathematical Education in Science and Technology 1 Journal of Computational Physics 1 Journal of Engineering Mathematics 1 Annales de l’Institut Fourier 1 Blätter (Deutsche Gesellschaft für Versicherungsmathematik) 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 Calcolo 1 Information Sciences 1 Journal of Algebra 1 Journal of Pure and Applied Algebra 1 Journal of Soviet Mathematics 1 The Journal of Symbolic Logic 1 Publications of the Research Institute for Mathematical Sciences, Kyoto University 1 RAIRO, Informatique Théorique 1 Science of Computer Programming 1 Annals of Pure and Applied Logic 1 New Generation Computing 1 Mathematical and Computer Modelling 1 Annals of Operations Research 1 MSCS. Mathematical Structures in Computer Science 1 European Journal of Operational Research 1 Formal Methods in System Design 1 Journal of Logic, Language and Information 1 Diagrammes 1 The Bulletin of Symbolic Logic 1 Computer Science Journal of Moldova 1 Parallel Algorithms and Applications 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Higher-Order and Symbolic Computation 1 The Journal of Logic and Algebraic Programming 1 Foundations of Computational Mathematics 1 Computer Languages, Systems & Structures 1 Journal of Applied Logic 1 Science in China. Series F 1 Matematicko-Fyzikálny Časopis, Slovenskej Akadémie Vied 1 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications all top 5 Cited in 17 Fields 138 Computer science (68-XX) 31 Mathematical logic and foundations (03-XX) 9 Category theory; homological algebra (18-XX) 6 Biology and other natural sciences (92-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 4 Operations research, mathematical programming (90-XX) 2 Group theory and generalizations (20-XX) 2 Numerical analysis (65-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 History and biography (01-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Ordinary differential equations (34-XX) 1 Partial differential equations (35-XX) 1 Approximations and expansions (41-XX) 1 Fluid mechanics (76-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.