×

Backus, John Warner

Compute Distance To:
Author ID: backus.j-w Recent zbMATH articles by "Backus, John Warner"
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

Publications by Year

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.68013
Backus, John
114
1978
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.
28
1963
Report on the algorithmic language Algol 60. Zbl 0089.12510
Backus, 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.68009
Backus, 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.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 syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM conference. Zbl 0112.08301
Backus, J. W.
3
1960
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 language semantics and closed applicative languages. Zbl 0308.68013
Backus, John
1
1973
FORTRAN. Zbl 0137.10902
Backus, J. W.; Heising, W. P.
1
1964
Revised report on the algorithmic language ALGOL-60. Zbl 0146.14701
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.
1
1965
The algebra of functional programs: function level reasoning, linear equations, and extended definitions. Zbl 0474.68009
Backus, John
4
1981
Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Zbl 0383.68013
Backus, John
114
1978
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 language semantics and closed applicative languages. Zbl 0308.68013
Backus, John
1
1973
Revised report on the algorithmic language ALGOL-60. Zbl 0146.14701
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.
1
1965
FORTRAN. Zbl 0137.10902
Backus, J. W.; Heising, W. P.
1
1964
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.
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.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
Report on the algorithmic language Algol 60. Zbl 0089.12510
Backus, 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.08301
Backus, J. W.
3
1960
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

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.