Файл: Классификация языков программирования высокого уровня.pdf
Добавлен: 30.03.2023
Просмотров: 308
Скачиваний: 2
И.С. Болдасов Исследование систем управления / Болдасов И.С. - М.: У.П. - 1998 — С. 12
М. П. Батура, В. Л. Бусько, А. Г. Корбит, Т. М. Кривоносова Основы алгоритмизации и программирования. Язык Си — С. 50
Кубенский А.А. Функцилональное программирование / А.А. Кубенский — М.: У.П. - 2010 — С. 110
НОУ ИНТУИТ Автоматное программирование — Лекция 10 — С.2
Sebastian Morr Esoteric Programming Languages
Богачёв К.Ю. Основы параллельного программирования. - М.: У.П., 2003. - С. 342
Lankford D.S. On proving term rewriting systems are Noetherian. - М.: У.П., - 1979 — С. 21
Приложение
Топ языков программирования высокого уровня 2019 г.
1JAVA1991, 2C1972, 3PYTHON1989, 4C++1980, 5VISUAL 6BASIC.NET2002, 7JAVASCRIPT1996, 8C#2000, 9PHP1995, 10SQL1974, 11OBJECTIVE-C1983, 12MATLAB1984, 13PERL, 14DELPHI/OBJECT PASCAL, 15R, 16RUBY, 17VISUAL BASIC, 18GO, 19GROOVY, 20SWIFT, 21PL/SQL, 22SAS, 23D, 24LUA, 25DART, 26FORTRAN1968, 27COBOL, 28SCRATCH, 29SCALA, 30ABAP, 31LISP, 32LOGO, 33ADA, 34TRANSACT-SQL, 35PROLOG, 36SCHEME, 37RUST, 38KOTLIN, 39HASKELL, 40LABVIEW, 41JULIA, 42TCL, 43POSTSKRIPT, 44LADDER LOGIC, 45PL/I, 46HACK, 47ERLANG, 48STANDARD ML, 49RPG, 50BASH, 51ABC, 52ActionScript, 53Alice, 54Apex, 55APL, 56Awk, 57BBC BASIC, 58BC, 59Bourne shell, 60C shell, 61CL (OS/400), 62Clojure, 63Common Lisp, 64Crystal, 65cT, 66Elixir, 67Elm, 68EXEC, 69F#, 70Forth, 71Icon, 72IDL, 73Inform, 74Io, 75J#, 76Korn 77shell, 78LiveCode, 79Maple, 80ML, 81Modula-2, 82Monkey, 83MQL4, 84MS-DOS batch, 85NATURAL, 86OpenCL, 87OpenEdge ABL, 88Oz, 89PILOT, 90PowerShell, 91Processing, 92Q, 93Ring, 94S, 95Smalltalk, 96Snap!, 97SPARK, 98Tex, 99TypeScript, 100VBScript, 101VHDL.
Таблица 1
Классификация языков программирования высокого уровня по парадигмам
|
Парадигмы программирования: |
Процедурные языки |
Логические языки |
Объектно –ориентированные Языки |
|
Аспектно-ориентированное |
LUA |
Python, LUA |
|
|
Визуальная (диаграммная) |
MATLAB |
SCRATCH |
|
|
Вычисление с откатами |
|||
|
Декларативная |
SQL |
||
|
Императивная |
PHP, GO, PL/SQL, SAS, D, LUA, FORTRAN, COBOL, LISP |
SCRATCH |
Python, Java Script(JS), PHP, Delphi, RUBY, GROOVY, SWIFT, D, LUA, DART, SCALA, ABAP, LISP, ADA |
|
Конкатенативный |
VISUAL BASIC |
VISUAL BASIC |
|
|
Логическая |
PHP, D |
SQL, SCRATCH |
Visual Basic.NET(VB.NET), PHP, D, SCALA |
|
Матричная |
MATLAB, FORTRAN |
||
|
Метапрограммирование |
D, LUA, LISP |
Python , С++, OBJECTIVE-C, RUBY, D, LUA, LISP |
|
|
Мультипарадигма |
PHP, D, LUA, LISP |
Python, C#, PHP, OBJECTIVE-C, Delphi, R, RUBY, GROOVY, SWIFT, D, LUA, DART, SCALA, LISP, ADA |
|
|
На уровне значений |
COBOL, LISP |
SQL, SCRATCH, LOGO |
SCALA, ABAP, LISP |
|
12На уровне функций |
С, PHP, VISUAL BASIC, GO, SAS, D, LUA, FORTRAN, LISP |
SQL |
С++, Visual Basic.NET(VB.NET), Java Script(JS), C#, R, VISUAL BASIC, GROOVY, SWIFT, D, LUA, DART, SCALA, ABAP, LISP |
|
13Нестрогая |
SAS, LUA |
SCRATCH |
LUA |
|
14Обмен сообщениями |
SCRATCH |
OBJECTIVE-C |
|
|
15Обобщенная |
GO, PL/SQL, SAS, D, FORTRAN |
С++, Delphi, GROOVY, SWIFT, D, DART, SCALA, ADA |
|
|
16Объектно-ориентированная |
C, PHP, PERL, VISUAL BASIC, GO, PL/SQL, D, LUA, FORTRAN, COBOL, LISP |
SCRATCH, LOGO |
Java, Python, С++, Visual Basic.NET(VB.NET), Java Script(JS), C#, OBJECTIVE-C, Delphi, R, VISUAL BASIC, GROOVY, SWIFT, D, LUA, DART, SCALA, ABAP, LISP |
|
Прототипная |
LUA |
Java Script(JS), LUA |
|
|
Процедурная |
С, PHP, MATLAB, PERL, VISUAL BASIC, GO, PL/SQL, SAS, D, LUA, FORTRAN, LISP |
SQL, SCRATCH |
С++, PHP, Delphi, RUBY, VISUAL BASIC, D, LUA, LISP |
|
Рефлексивная |
LISP |
LOGO |
OBJECTIVE-C, RUBY, DART, LISP |
|
Скалярная |
PHP, PERL |
SCRATCH, LOGO |
PHP |
|
Стек-ориентированная |
VISUAL BASIC |
SCRATCH |
Java, R, VISUAL BASIC |
|
Строгая |
VISUAL BASIC, GO, PL/SQL, FORTRAN, COBOL |
C#, Delphi, VISUAL BASIC, SCALA, ABAP, ADA |
|
|
Структурная |
С, MATLAB, GO, FORTRAN, COBOL, LISP |
SCRATCH, LOGO |
Python, Visual Basic.NET(VB.NET), C#, Delphi, R, SCALA, ABAP, LISP, ADA |
|
Табличная |
SAS, LUA |
SQL |
R, LUA, ABAP |
|
Функциональная |
С, PHP, MATLAB, PERL, VISUAL BASIC, GO, SAS, D, FORTRAN, LISP |
SQL, SCRATCH, LOGO |
Python, С++, Visual Basic.NET(VB.NET), Java Script(JS), C#, PHP, R, RUBY, VISUAL BASIC, GROOVY, SWIFT, D, DART, SCALA, ABAP, LISP |
|
Эзотерическая |
|||
|
Параллельная |
GO, D, LUA, FORTRAN |
SCRATCH, |
Java, Python, R, RUBY, SWIFT, D, LUA, ADA |
|
Потоковая |
GO, LUA |
SCRATCH, LOGO |
OBJECTIVE-C, R, RUBY, LUA |
|
Правила переписывания |
SAS |
OBJECTIVE-C |
|
Хронология языков программирования.
1 Lisp 1958
2 Cobol 1959
3 Logo 1967
4 Fortrane 1968
5 prolog 1972
6 C 1972
7 SQL 1974
8 SAS 1976
9 ADA 1980
10 C++ 1980
11 OBJECTIVE-C 1983
12 MATLAB 1984
13 PYTHON 1989
14 JAVA 1991
15 PL/SQL 1992
16 R 1993
17 RUBY 1993
18 DELPHI/OBJECT PASCAL 1995
19 JAVASCRIPT 1996
20 PERL 1996
21 C# 2000
22 VISUAL BASIC.NET 2002
23 SCALA 2004
24 TRANSACT-SQL 2005
25 D 2006
26 SCRATCH 2007
27 GO 2009
28 DART 2011
29 SWIFT 2014
-
С.З. Свердлов Языки программирования и методы трансляции / С.З. Свердлов. - М.: У. П., 2007. - С. 299 ↑
-
А.Л. Марченко Введение в программирование / А.Л. Марченко. - М.: У. П., 2005. - С. 135 ↑
-
А.С. Камкин Введение в формальные методы верификации / Камкин А.С. - М.: У. П, 2018. - С. 36-45 ↑
-
А.С. Камкин Введение в формальные методы верификации / Камкин А.С. - М.: У. П, 2018. - С. 102-103 ↑
-
Н. В. Макарова В.Б. Волков Информатика / Макарова Н.В. Волков В.Б. - М.: У.П., 2018 — С. 554-557 ↑
-
Проект центра верификации OC Linux Теоретическое введение [http://astraver.linuxtesting.org/ ] ↑
-
А.С. Камкин Введение в формальные методы верификации / Камкин А.С. - М.: У. П, 2018. - С.36 ↑
-
А.С. Камкин Введение в формальные методы верификации / Камкин А.С. - М.: У. П, 2018. - С.38 ↑
-
Введение в теорию программирования. Функциональный подход. Вступительная лекция.[https://www.intuit.ru/studies/courses/39/39/info] ↑
-
С. А. Орлов Теория и практика языков программирования / Орлов С.А. - М.: У.П.,2013 — С. 189 ↑
-
С. А. Орлов Теория и практика языков программирования / Орлов С.А. - М.: У.П.,2013 — С. 189 ↑
-
Т. Пратт, М. Зелковец Языки программирования разработка и реализация 4е издание / Пратт Т., Зелковец М. - М.: У.П. 2002 — С. 322 ↑
-
С. А. Орлов Теория и практика языков программирования / Орлов С.А. - М.: У.П.,2013 — С. 189 ↑
-
Р.В. Себеста Основные концепции языков программирования / Себеста Р.В. - М.: У.П. 2001 — С. 123 ↑
-
Т. Пратт, М. Зелковец Языки программирования разработка и реализация 4е издание / Пратт Т., Зелковец М. - М.: У.П. 2002 — С. 300 - 322 ↑
-
А. Сериков. Основы функционального программирования / Сериков А. - М.: У.П. - Лекция 15 ↑
-
Л. В. Городняя , Парадигмы программирования / Городняя Л. В. - М.: У.П. - С. 12 ↑
-
Л. В. Городняя , Парадигмы программирования / Городняя Л. В. - М.: У.П. - С. 12 ↑
-
Л. В. Городняя , Парадигмы программирования / Городняя Л. В. - М.: У.П. - С. 12 ↑
-
Белов М.П. Основы алгоритмизации в информационных системах / М.П. Белов. - М.: Учебное пособие, 2003. - С. 25. ↑
-
Белов М.П. Основы алгоритмизации в информационных системах / М.П. Белов. - М.: Учебное пособие, 2003. - С. 25. ↑
-
Л. В. Городняя Парадигмы программирования / Городняя Л. В. - М.: У.П. - 2015 - С. 12 ↑
-
Д. Мигинский Аспектно — ориентированное программирование / Мигинский Д. - М.: У.П. - С. 3 ↑
-
Е. Милош , С. Джорупбеков Парадигмы программирования / Милош Е., Джорупбеков С. - М.: У.П. -2009 ↑
-
Л. В. Городняя Парадигмы программирования / Городняя Л. В. - М.: У.П. - 2015 - С. 67 ↑
-
Т.Н. Глебова, Н.А Зайцева Информатика / Глебова Т.Н., Зайцева Н.А. - М.: У.П. - 2011 — С. 18 ↑
-
И.Г. Головин, И.А. Волкова Языки и методы программирования / Головин И.Г., И.А. Волкова — М.: У.П. -2012 — С 8 ↑
-
В.Д. Бердоносов, А. А. Животова Объектно — ориентированное программирование / Бердоносов В.Д., Животова А.А — М.: У.П. - 2015 — С. 18 ↑
-
Л. В. Городняя Парадигмы программирования / Городняя Л. В. - М.: У.П. - 2015 - С. 185 ↑
-
Л. В. Городняя Парадигмы программирования / Городняя Л. В. - М.: У.П. - 2015 - С. 196 ↑
-
Л. В. Городняя Парадигмы программирования / Городняя Л. В. - М.: У.П. - 2015 - С. 196 ↑
-
Л. В. Городняя Парадигмы программирования / Городняя Л. В. - М.: У.П. - 2015 - С. 197 ↑
-
В.Э. Вольфенгаген Комбинаторная логика в программировании / Вольфенгаген В.Э. - М.: У.П. - 2000 ↑
-
В.Э. Вольфенгаген Комбинаторная логика в программировании / Вольфенгаген В.Э. - М.: У.П. - 2000 — С. 205 ↑
-
М.В. Голуб Ленивые вычисления в системе компьютерной алгебры / Голуб М.В. - М.: У.П. - 2014 ↑
-
МУСТ Модели и средства моделирования для многопроцессорных вычислительных машин — М.:У.П.-Лекция 1 — С. 2 ↑
-
Л. В. Городняя Парадигмы программирования / Городняя Л. В. - М.: У.П. - 2015 - С. 160 ↑
-
Л. В. Городняя Парадигмы программирования / Городняя Л. В. - М.: У.П. - 2015 - С. 193 ↑
-
Л. В. Городняя Парадигмы программирования / Городняя Л. В. - М.: У.П. - 2015 - С. 193 ↑
-
D.Crockford Javascript the good parts / Crockford D. - М.: У.П. - 2012 — С.39 ↑
-
Л. В. Городняя Парадигмы программирования / Городняя Л. В. - М.: У.П. - 2015 - С. 156 ↑
-
Л. В. Городняя Парадигмы программирования / Городняя Л. В. - М.: У.П. - 2015 - С. 156 ↑
-
И.С. Болдасов Исследование систем управления / Болдасов И.С. - М.: У.П. - 1998 — С. 12 ↑
-
Л. В. Городняя Парадигмы программирования / Городняя Л. В. - М.: У.П. - 2015 - С. 200 ↑
-
Л. В. Городняя Парадигмы программирования / Городняя Л. В. - М.: У.П. - 2015 - С. 200 ↑
-
М. П. Батура, В. Л. Бусько, А. Г. Корбит, Т. М. Кривоносова Основы алгоритмизации и программирования. Язык Си — С. 50 ↑
-
Кубенский А.А. Функцилональное программирование / А.А. Кубенский — М.: У.П. - 2010 — С. 110 ↑
-
Кубенский А.А. Функцилональное программирование / А.А. Кубенский — М.: У.П. - 2010 — С. 12 ↑
-
НОУ ИНТУИТ Автоматное программирование — Лексия 10 — С.2 ↑
-
Кубенский А.А. Функцилональное программирование / А.А. Кубенский — М.: У.П. - 2010 — С. 18 ↑
-
Sebastian Morr Esoteric Programming Languages ↑
-
Sebastian Morr Esoteric Programming Languages ↑
-
Богачёв К.Ю. Основы параллельного программирования. - М.: У.П., 2003. - С. 342 ↑
-
Йенсен П., Барнес Д. Потоковое программирование . - М.: У.П., 1984. - С. 3 ↑
-
Йенсен П., Барнес Д. Потоковое программирование . - М.: У.П., 1984. - С. 3 ↑
-
Lankford D.S. On proving term rewriting systems are Noetherian. - М.: У.П., - 1979 — С. 21 ↑