Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/a-science-of-operations-the-algol-research-programme-SX4h7HKkPS
References (61)
-
J. Backus (1959)
The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference -
S. Gorn (1961)
Some basic terminology connected with mechanical languages and their processors: a tentative base terminology presented to ASA x3.4 as a proposal for subsequent inclusion in a glossaryCommun. ACM, 4
-
Julien Green (1959)
Remarks on ALGOL and symbol manipulationCommun. ACM, 2
-
P. Lucas, K. Walk (1969)
On the formal description of PL/IAnnual Review of Automatic Programming, 6
-
E. Dijkstra (1970)
Notes on structured programming, 8
-
A. Newell, F. Tonge (1960)
An introduction to information processing language VCommunications of the ACM, 3
-
R. Bosak (1961)
An information Algebra -
D. Barron, J. Buxton, D. Hartley, Eric Nixon, C. Strachey (1963)
The Main Features of CPLComput. J., 6
-
J. Schwartz (1967)
Mathematical Aspects of Computer Science, 19
-
J. McCarthy (1959)
Recursive functions of symbolic expressions and their computation by machine, Part ICommunications of the ACM, 3
-
C. Böhm, G. Jacopini (1966)
Flow diagrams, turing machines and languages with only two formation rulesCommun. ACM, 9
-
P. Landin (1964)
The Mechanical Evaluation of ExpressionsComput. J., 6
-
J. McCarthy (1964)
A Formal Description of a Subset of Algol -
R. Floyd (1964)
The Syntax of Programming Languages-A SurveyIEEE Trans. Electron. Comput., 13
-
J. Feldman (1966)
A formal semantics for computer languages and its application in a compiler-compilerCommunications of the ACM, 9
-
D. Ross, Jorge Rodriguez (1963)
Theoretical Foundations for the Computer-Aided Design SystemSimulation, 2
-
J. McCarthy (1965)
Problems in the Theory of Computation -
Cicely Popplewell (1963)
Information processing 1962 : proceedings of IFIP Congress 62 -
C. Bachman (1973)
The programmer as navigatorCommun. ACM, 16
-
A. Pickering (1997)
The mangle of practice : time, agency, and scienceContemporary Sociology, 25
-
P. Lucas (1971)
Formal Definition of Programming Languages and Systems -
P. Landin (1965)
Correspondence between ALGOL 60 and Church's Lambda-notationCommunications of the ACM, 8
-
C. Hoare (1972)
A note on the for statementBIT Numerical Mathematics, 12
-
N. Wirth (1971)
The programming language pascalActa Informatica, 1
-
E. Lohse, R. Smith (1965)
A Correspondence Between ALGOL 60 and Church's Lambda- Notation: Part I* -
J. Earley (1971)
Toward an understanding of data structuresCommun. ACM, 14
-
J. Shepherdson, P. Braffort, D. Hirschberg (1965)
Computer programming and formal systemsThe Philosophical Quarterly, 15
-
J. McCarthy (1961)
A basis for a mathematical theory of computation, preliminary report -
S. Gorn (1962)
Theory of mechanical languagesCommun. ACM, 5
-
N. Wirth, C. Hoare (1966)
A contribution to the development of ALGOLCommun. ACM, 9
-
C. Tompkins, R. Bellman, M. Hall (1961)
Proceedings of Symposia in Applied Mathematics.Mathematics of Computation, 15
-
C. Bachman, R. Batchelor, I. Beriss, Charles Blose, Turgut Burakreis, Vincent Valle, George Dodd, W. Helgeson, J. Lyon, A. Metaxides, Gerald McKinzie, P. Siegel, Warren Simmons, L. Sturgess, H. Tellier, Sharon Weinberg, George Werner (1969)
Data base task group report to the CODASYL programming language committeeData Base, 2
-
c ○ 2000 Kluwer Academic Publishers. Manufactured in The Netherlands. Fundamental Concepts in Programming Languages -
H. Zemanek (1966)
Semiotics and programming languagesCommun. ACM, 9
-
E. Dijkstra (1961)
On the design of machine independent programming languagesAnnual Review of Automatic Programming, 3
-
P. Wegner (1972)
Operational semantics of programming languages -
Constance Ballantine, Otto Neurath, Niels Bohr, J. Dewey, Bertrand Russell, Rudolf Carnap, Charles Morris (1939)
INTERNATIONAL ENCYCLOPEDIA OF UNIFIED SCIENCE.Science, 86 2235
-
E. Irons (1983)
A Syntax Directed Compiler for ALGOL 60 (Reprint)Commun. ACM, 26
-
O. Dahl, E. Dijkstra, C. Hoare (1972)
Structured programming, 8
-
R. Floyd (1993)
Assigning Meanings to Programs -
D. Ross (1961)
A generalized technique for symbol manipulation and numerical calculationCommunications of the ACM, 4
-
J. Sammet (1962)
Basic elements of COBOL 61Commun. ACM, 5
-
C. Morris (1938)
Foundations of the theory of signs -
E. Dijkstra (2002)
Go to Statement Considered Harmful (Reprint) -
C. Hoare (1965)
Record Handling -
P. Gilmore (1959)
An Abstract Computer with a Lisp-Like Machine Language Without a Label OperatorStudies in logic and the foundations of mathematics, 26
-
C. Elgot, A. Robinson (1964)
Random-Access Stored-Program Machines, an Approach to Programming LanguagesJ. ACM, 11
-
Lionello Lombardi (1899)
Theory of files -
G. Radin, H. Rogoway (1965)
NPL: highlights of a new programming languageCommun. ACM, 8
-
E. Dijkstra (1968)
Letters to the editor: go to statement considered harmfulCommun. ACM, 11
-
J. McCarthy (1962)
Towards a Mathematical Science of Computation -
T. Kuhn, David Hawkins (1963)
The Structure of Scientific RevolutionsAmerican Journal of Physics, 31
-
Robert Colilla, B. Sams (1962)
Information structures for processing and retrievingCommun. ACM, 5
-
R. Tennent (1976)
The denotational semantics of programming languagesCommun. ACM, 19
-
P. Landin (1966)
The next 700 programming languagesCommun. ACM, 9
-
A. Akera (2001)
Voluntarism and the Fruits of Collaboration: The IBM User Group, ShareTechnology and Culture, 42
-
R. Bosak, R. Clippinger, Carey Dobbs, Roy Goldfinger, Renee Jasper, W. Keating, George Kendrick, J. Sammet (1962)
An information algebra: phase 1 report—language structure group of the CODASYL development committeeCommun. ACM, 5
-
E. Codd (1970)
A relational model of data for large shared data banksCommun. ACM, 13
-
H. Zemanek (1986)
A quarter century of IFIPAbacus, 3
-
E. Dijkstra (1979)
Programming considered as a human activity -
T. Bergin, Richard Gibson (1996)
History of programming languages---II
- Publisher
- Springer London
- Copyright
- © Springer-Verlag London Limited 2011
- ISBN
- 978-1-84882-554-3
- Pages
- 225 –252
- DOI
- 10.1007/978-1-84882-555-0_9
- Publisher site
- See Chapter on Publisher Site
Abstract
[Compared to some of the other early programming languages, Algol 60 was not particularly successful in practical terms. This fact presents something of a puzzle: how did a language which was a relative failure in practical terms later come to be regularly described as the most influential of early programming languages? This chapter suggests an answer to this question, arguing that what changed the face of programming was not simply the Algol 60 language, but rather a coherent and comprehensive research programme within which the Algol 60 report had the status of a paradigmatic achievement, in the sense defined by the historian of science Thomas Kuhn. This research programme established the first theoretical framework for studying not only the design of programming languages, but also the process of software development, the subject of the next chapter.]
Published: Nov 12, 2010
Keywords: Programming Language; Control Structure; Data Item; Data Space; Database Schema