×

zbMATH — the first resource for mathematics

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

Publications by Year

Citations contained in zbMATH Open

11 Publications have been cited 188 times in 177 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
117
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.
32
1963
Report on the algorithmic language Algol 60. Zbl 0089.12510
Naur, Peter (ed.); 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.
19
1960
The algebra of functional programs: function level reasoning, linear equations, and extended definitions. Zbl 0474.68009
Backus, John
5
1981
The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM conference. Zbl 0112.08301
Backus, J. W.
4
1960
Revised report on the algorithmic language ALGOL-60. Zbl 0146.14701
Naur, Peter (ed.); 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.
3
1965
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.; Naur, P. (ed.); Perlis, A. J.; Rutishauser, Heinz; Samelson, K.; Vauquois, B.; Wegstein, J. H.; van Wijngaarden, A.; Woodger, M.
3
1963
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
From function level semantics to program transformation and optimization. Zbl 0563.68008
Backus, John
1
1985
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
From function level semantics to program transformation and optimization. Zbl 0563.68008
Backus, John
1
1985
The algebra of functional programs: function level reasoning, linear equations, and extended definitions. Zbl 0474.68009
Backus, John
5
1981
Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Zbl 0383.68013
Backus, John
117
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
Naur, Peter (ed.); 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.
3
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.
32
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.; Naur, P. (ed.); 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
Naur, Peter (ed.); 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.
19
1960
The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM conference. Zbl 0112.08301
Backus, J. W.
4
1960
all top 5

Cited by 241 Authors

3 Broy, Manfred
3 Harrison, Peter G.
3 Khoshnevisan, Hessam
3 Naur, Peter
3 Nielson, Flemming
2 Boley, Harold
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 Kozyrev, Sergeĭ Vladimirovich
2 Latch, Dana May
2 Longo, Giuseppe
2 Maggiolo-Schettini, Andrea
2 Manes, Ernest G.
2 Oliveira, José Nuno
2 Red’ko, V. N.
2 Riis Nielson, Hanne
2 Tofte, Mads
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 Aiello, Luigia
1 Aldinucci, Marco
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 Bono, Viviana
1 Borzov, Yu. V.
1 Boute, Raymond T.
1 Braßel, Bernd
1 Bresina, John L.
1 Bristow, Paul
1 Carlis, John V.
1 Carter, J. Lawrence
1 Caseau, Yves
1 Chirica, Laurian M.
1 Christiansen, Jan
1 Clenshaw, C. W.
1 Colvin, Robert J.
1 Cook, Stephen Arthur
1 Courcelle, Bruno
1 Čulik, Karel
1 Danelutto, Marco
1 Danforth, Scott
1 Datta, Ajoy Kumar
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 Furbach, Ulrich
1 Gaissaryan, Sergey S.
1 Gärtner, Dietmar
1 Ghosh, Sukumar
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
...and 141 more Authors
all top 5

Cited in 65 Serials

27 Theoretical Computer Science
11 Acta Informatica
7 Journal of Computer and System Sciences
6 Information Processing Letters
6 Cybernetics
6 BIT. Nordisk Tidskrift for Informationsbehandling
5 Information Sciences
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 Kybernetika
3 Semigroup Forum
3 Journal of Symbolic Computation
3 Information and Computation
3 Journal of Functional Programming
2 Journal of Computational Physics
2 Computing
2 Czechoslovak Mathematical Journal
2 Programming and Computer Software
2 Journal of Computer Science and Technology
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
1 Computers & Mathematics with Applications
1 International Journal of Mathematical Education in Science and Technology
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 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 Indagationes Mathematicae. New Series
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 Lobachevskii Journal of Mathematics
1 The Journal of Logic and Algebraic Programming
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
1 Computer Science Review

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.