Обобщены и систематизированы требования к современным языкам программирования (С, Паскаль, Модула, Ада и др.). С единых позиций рассмотрены синтаксис и семантика всех средств описания данных простых (числовых, перечислимых) и структурных (массивы, записи, объединения) типов, динамических структур данных, а также средств контроля типов. С таких же позиций рассмотрены распространённые и перспективные средства описания действий (выражения, операторы действия, операторы последовательного выполнения, условные операторы, операторы цикла, блоки, процедуры, функции, рекурсивные подпрограммы, пакеты), а также методы доказательства правильности программ, описанных этими средствами. Абстрактные типы данных представлены как логическое продолжение совершенствования средств описания и данных и действий.

В качестве дополнительных возможностей, лишь косвенно определяющих сущность языков программирования, рассмотрены средства обработки файлов и исключений, параллельной и макрообработки. Описание средств языков сопровождается анализом их характеристик и свойств. Введение тех или иных средств в языки обосновывается с точки зрения как предоставления пользователям возможностей для решения широкого круга задач, так и поддержки технологии программирования. Применение иллюстрируется примерами.

Может служить методологической основой при проектировании, оценке и освоении языков, при разработке учебных курсов по конкретным языкам программирования, а также при верификации программ аналитическими методами.

Для научных работников, может быть полезна профессиональным программистам.

Ил. 19. Библ. 72 назв.

Книги на ту же тему

1. Языки программирования. Концепции и принципы, Кауфман B. Ш., 1993
2. Сравнительное изучение языков программирования, Хигман Б., 1974
3. Языки программирования. Практический сравнительный анализ, Бен-Ари М., 2000
4. Математическая логика в программировании: Сборник статей 1980—1988 гг., Захарьящев М. В., Янов Ю. И., ред., 1991
5. Программирование на современных алгоритмических языках: Учебное пособие для втузов.— 3-е изд., перераб. и доп., Пярнпуу А. А., 1990
6. Новое в зарубежной лингвистике. Вып. XXIII. Когнитивные аспекты языка, Петров В. В., Герасимов В. И., сост., 1988
7. Теоретико-множественные модели языков, Маркус С., 1970
8. Программирование на IBM/360. — 4-е изд., Джермейн К., 1983
9. Язык Ассемблера для IBM PC и программирования, Абель П., 1992
10. Индивидуальная отладка программ, Безбородов Ю. М., 1982
11. Фортран и искусство программирования персональных ЭВМ, Уорд Т., Бромхед Э., 1993
12. Современные языки и технологии параллельного программирования: Учебник, Гергель В. П., 2012
13. Программирование и алгоритмические языки, Криницкий Н. А., Миронов Г. А., Фролов Г. Д., 1975
14. Практика программирования на Фортране: Упражнения с комментариями, Дрейфус М., Ганглоф К., 1978
15. Язык программирования Эль-76. Принципы построения языка и руководство к пользованию. — 2-е изд. испр. и доп., Пентковский В. М., 1989
16. Сравнительный курс языка PL/1 (на основе алгола-60), Безбородов Ю. М., 1980
17. Программирование на языке Ада, Вегнер П., 1983
18. Язык программирования Си для персонального компьютера, Бочков C. O., Субботин Д. М., 1990
19. Объектно-ориентированное программирование в C++. — 4-е изд., Лафоре Р., 2003
20. Проектирование программных средств, Липаев В. В., 1990