ALGOL

同時期に存在したCOBOLやFORTRANと違い、計算機メーカーではなく、学会などで学術的に開発された言語である。

特定のコンピューターに依存せず、抽象的な手続き型アルゴリズムを記述することを目的とし、論文などでロジック記述用として使われることも多い。CACM(Communications of the ACM)で公用アルゴリズム記述言語として採用され、今でもその方面の書籍で記述が残っている場合がある。しかし厳密すぎる構文や機能的に重すぎる仕様など、実用面では非常に不便で、一般には殆ど普及することが無かった。

演算部分と入出力の部分が分離して規定されており、それぞれ3段階の組み合わせを選択してコンパイラーが作成できる。

ALGOLが後のプログラミング言語に与えた影響は計り知れない程に大きく、その影響下にある言語を総じて「ALGOL系言語」という。

おおざっぱな系統樹では次のようになり、現在主流の多くの言語はALGOL系言語である。

• ALGOL (IFIP. 1958)
  • Pascal (Niklaus Wirth、1971)
    • Modula-2
      • Modula-3
    • Delphi (Borland)
  • Ada (1974)
    • Eiffel (1985)
    • PL/SQL (Oracle)
  • BCPL (汎用アセンブリ言語)
    • B (AT&Tベル研究所のケン・トンプソン、1970)
      • C (AT&Tベル研究所のデニス・リッチー、1972)
        • Objective-C
        • C++ (AT&Tベル研究所のB. Stroustrup、1982)
        • Java (Sun Microsystems、1995)
        • C# (Microsoft、2000)
        • D (Digital Mars社のWalter Bright)
  • PL/Ⅰ (IBM、1965)
  • Simula-1
    • Simula-67
  • Smalltalk (Xerox社Palo Alto Research Center)
  • Ruby (まつもと ゆきひろ(Matz))

この他にも、特定用途向けとして様々な言語があることが知られる。例えば米軍の戦闘機F-15は、Ada系の言語「Jovial J73」なる言語でプログラムが書かれているとされている。