ALGOL

ALGOL. A family of imperative programming languages that originated in the late 1950s and became the de facto standard for publishing algorithms for over two decades. Developed through international committees including the International Federation for Information Processing and the Association for Computing Machinery, it introduced foundational concepts that shaped modern computer science. Its rigorous, BNF-defined syntax and emphasis on structured programming made it profoundly influential despite never achieving widespread commercial use.

History and development

The initial effort, known as ALGOL 58, emerged from a 1958 meeting in Zurich involving prominent figures like John Backus and Friedrich L. Bauer. This was substantially revised by the ALGOL 60 committee, whose landmark report defined the language with unprecedented precision. Key contributors included Peter Naur, who edited the final report, and Edsger W. Dijkstra, who later championed its structured programming ethos. The subsequent ALGOL 68 committee, led by Aad van Wijngaarden, produced a more complex and ambitious design, though it faced criticism from notable members like C. A. R. Hoare and Niklaus Wirth. Development was closely associated with institutions like the Mathematisch Centrum in Amsterdam and Stanford University.

Language features

The language introduced revolutionary concepts including block structure, with local scopes for variables, and lexical scoping. It supported recursion and employed call-by-name parameter passing, later analyzed in Donald Knuth's "The Art of Computer Programming". Its type system included integer, real, and Boolean types, with arrays whose bounds could be dynamic. Control structures featured the iconic `if-then-else` statement and `for` loops, promoting clear program flow. The Backus–Naur form used to define its grammar became a standard tool in compiler construction.

Variants and dialects

Several important derivatives and simplified implementations emerged. Niklaus Wirth developed ALGOL W, a cleaner subset that directly influenced his creation of Pascal (programming language). The Burroughs Corporation created extended versions like B5000 ALGOL for their mainframe computer systems. In the Soviet Union, dialects such as ALGAMS and ÉL-76 were developed. Other notable variants include Simula, which added object-oriented concepts, and Dartmouth ALGOL 30, implemented at Dartmouth College. The MTN compiler and Elliott 803 implementations also saw significant use in academic and research settings.

Influence and legacy

Its impact on subsequent language design is immense, directly shaping Pascal (programming language), C (programming language), Ada (programming language), and BCPL. Concepts like structured programming were championed by Edsger W. Dijkstra and Tony Hoare, largely in response to its principles. It served as the algorithmic description language in seminal texts like "The Art of Computer Programming" by Donald Knuth and "Fundamental Algorithms". The International Federation for Information Processing maintained its standard role for decades. While superseded by languages like C (programming language) and Java (programming language), its theoretical contributions remain central to compiler theory and formal semantics.

Example code

A classic procedure for computing the greatest common divisor demonstrates its clear, algorithmic style. The code uses the `integer` type declaration, a `for` loop, and the distinctive `if` conditional structure. This example would have been typical in publications like "Communications of the ACM" or "The Computer Journal". The syntax for procedure definition and assignment operators influenced later languages developed at Bell Labs and ETH Zurich. Such examples were often processed by early compilers like the one for the IBM 7090 or the Atlas Computer.

Category:Programming languages Category:ALGOL programming language family Category:Procedural programming languages