| Язык | Год выпуска | Автор(ы) | Где создан | Ключевые идеи |
| A. Универсальные прикладные языки | ||||
| Fortran | 1954 | John Backus | IBM | subroutine |
| Algol-60 | 1960 | Peter Naur* | IFIP | if-then-else |
| Cobol | 1960 | CODASYL Committee | record | |
| Basic | 1963 | John Kemeny* | Dartmouth College | routine |
| PL/I | 1964 | George Radin | fork, exception | |
| Algol-68 | 1968 | A.Wijngaarden* | IFIP | semaphore |
| B. Уникальные языки | ||||
| APL | 1957 | Kenneth Iverson | Harvard University | branch |
| Snobol | 1962 | Ralph Griswold | AT&T Bell Labs | string |
| Forth | 1968 | Charles Moore | stack/word | |
| SETL | 1969 | Jack Schwartz | IBM | set/tuple/map |
| Icon | 1974 | Ralph Griswold | AT&T Bell Labs | generator |
| CLU | 1974 | Barbara Liskov | MIT | cluster |
| Postscript | 1982 | John Warnock* | Adobe Systems | page |
| Eiffel | 1986 | Bertrand Meyer | Interactive Software Eng. | assertion |
| Self | 1987 | David Ungar | Sun Labs | delegation |
| C. Языки Simula-семейства | ||||
| Simula | 1962 | Kristen Nygaard* | record class / coroutine | |
| Smalltalk | 1972 | Alan Key* | Xerox PARC | object/class |
| BETA | 1983 | Kristen Nygaard* | Mjolner Informatics ApS | pattern |
| D. Языки Lisp-семейства | ||||
| Lisp | 1958 | John McCarthy | MIT | list |
| Planner | 1967 | Carl Hewitt | MIT | theorem |
| Scheme | 1975 | Guy Steele* | MIT | continuation |
| Common Lisp | 1984 | Guy Steele* | MIT | generic sequence |
| Haskell | 1990 | Paul Hudak* | University of Glasgow | functional array |
| E. Языки Prolog-семейства | ||||
| Prolog | 1971 | Alain Colmerauer* | Univ. of Aix-Marseille | unification |
| Parlog | 1983 | K.Clark* | Imperial College | AND-parallelism |
| CLP(R) | 1986 | Joxan Jaffar* | IBM Research | constraint |
| F. Языки C-семейства | ||||
| C | 1972 | Dennis Ritchie* | AT&T Bell Labs | address ariphmetic |
| C++ | 1986 | Bjarne Stroustrup | AT&T Bell Labs | class |
| Objective C | 1986 | Brad Cox | Productivity Products | interface |
| Java | 1995 | James Gosling* | Sun Labs | package |
| Limbo | 1996 | Dennis Ritchie* | Bell Labs (Lucent Tech.) | implementation part |
| G. Языки Pascal-семейства | ||||
| Pascal | 1970 | Niklaus Wirth | ETH Zurich | name equivalence |
| Modula-2 | 1978 | Niklaus Wirth | ETH Zurich | module |
| Oberon | 1988 | Niklaus Wirth | ETH Zurich | type extension |
| Oberon-2 | 1991 | Hans Moessenboeck* | ETH Zurich | type-bound procedure |
| Component Pascal | 1997 | Cuno Pfister* | Oberon microsystems | component |
| H. Языки Ada-семейства | ||||
| Euclid | 1976 | Butler Lampson* | Xerox PARC | collection |
| Mesa | 1976 | J.Mitchell* | Xerox PARC | module |
| Ada | 1977 | Jean Ichbiah* | CII Honeywell | package/rendezvous |
| Cedar | 1983 | Butler Lampson* | Xerox PARC | thread |
| Modula-3 | 1988 | Luca Cardelli* | DEC SRC, Olivetti Research | safe module |
| I. Языки параллельного программирования | ||||
| Concurrent Pascal | 1972 | Per Brinch Hansen | USC | par begin |
| Modula | 1977 | Niklaus Wirth | ETH Zurich | process |
| CSP | 1978 | Charles Hoare | Oxford University | cobegin |
| Edison | 1980 | Per Brinch Hansen | USC | critical region |
| Occam | 1982 | David May* | Inmos | channel |
| Linda | 1985 | D.Gelernter* | Yale University | tuple space |
| Obliq | 1993 | Luca Cardelli | DEC SRC | network object |
| * означает, что авторов было несколько | ||||
| Выделены языки, в той или иной степени оказавшие влияние на Java. | ||||
| Сокращения | ||||
| MIT - Massachusetts Institute of Technology; | ||||
| ETH - Swiss Federal Institute of Technology; | ||||
| PARC - Palo Alto Research Center; | ||||
| SRC - Systems Research Center | ||||