|
Универсальные языки программирования. Семантический подход Научное издание |
Калинин А. Г., Мацкевич И. В. |
год издания — 1991, кол-во страниц — 400, ISBN — 5-256-00638-X, тираж — 10000, язык — русский, тип обложки — твёрд. 7Б, масса книги — 420 гр., издательство — Радио и связь |
|
цена: 299.00 руб | | | | |
|
Сохранность книги — хорошая
Р е ц е н з е н т: д-р техн. наук, проф. В. В. Липаев
Формат 60x88 1/16. Бумага типографская №2. Печать офсетная |
ключевые слова — язык, программирован, семантическ, паскал, модул, семантик, массив, подпрограмм, пакет, абстрак, логическ, исключен,типизац, инкапсуляц, параллельн, синхронизац |
Обобщены и систематизированы требования к современным языкам программирования (С, Паскаль, Модула, Ада и др.). С единых позиций рассмотрены синтаксис и семантика всех средств описания данных простых (числовых, перечислимых) и структурных (массивы, записи, объединения) типов, динамических структур данных, а также средств контроля типов. С таких же позиций рассмотрены распространённые и перспективные средства описания действий (выражения, операторы действия, операторы последовательного выполнения, условные операторы, операторы цикла, блоки, процедуры, функции, рекурсивные подпрограммы, пакеты), а также методы доказательства правильности программ, описанных этими средствами. Абстрактные типы данных представлены как логическое продолжение совершенствования средств описания и данных и действий.
В качестве дополнительных возможностей, лишь косвенно определяющих сущность языков программирования, рассмотрены средства обработки файлов и исключений, параллельной и макрообработки. Описание средств языков сопровождается анализом их характеристик и свойств. Введение тех или иных средств в языки обосновывается с точки зрения как предоставления пользователям возможностей для решения широкого круга задач, так и поддержки технологии программирования. Применение иллюстрируется примерами.
Может служить методологической основой при проектировании, оценке и освоении языков, при разработке учебных курсов по конкретным языкам программирования, а также при верификации программ аналитическими методами.
Для научных работников, может быть полезна профессиональным программистам.
Ил. 19. Библ. 72 назв.
|
ОГЛАВЛЕНИЕВведение | 3 | 1. Общая характеристика языков программирования | 13 | 1.1. Характеристики и свойства языков программирования | 13 | 1.2. Пути развития и классификация языков программирования | 17 | 1.3. Основные понятия языков программирования | 23 | 2. Средства описания данных | 53 | 2.1. Типизация языка | 53 | 2.2. Простые типы данных | 67 | 2.3. Структурные типы данных | 87 | 2.4. Динамические структуры данных | 103 | 3. Средства описания действий | 109 | 3.1. Определение семантики средств описания действий | 109 | 3.2. Выражения и операторы действия | 115 | 3.3. Операторы управления | 121 | 3.4. Блоки | 146 | 3.5. Подпрограммы | 153 | 3.6. Пакеты | 188 | 4. Абстрактные типы данных | 191 | 4.1. Инкапсуляция | 194 | 4.2. Спецификация абстрактного типа данных | 200 | 4.3. Реализация абстрактного типа данных | 232 | 4.4. Доказательство правильности реализации | 235 | 4.5. Параметризация | 243 | 5. Обработка файлов | 251 | 5.1. Операции с файлами. Виды файлов | 251 | 5.2. Обработка текстовых файлов | 257 | 5.3. Обработка файлов на внешних запоминающих устройствах | 262 | 5.4. Обработка нестандартных файлов | 275 | 6. Обработка исключений | 279 | 6.1. Простейшие способы обработки исключений | 282 | 6.2. Обработка исключений с помощью меток | 290 | 6.3. Структурный механизм обработки исключений | 293 | 6.4. Восстановление вычислительного процесса | 305 | 6.5. Определение семантики средств обработки исключений | 311 | 7. Параллельная обработка | 321 | 7.1. Процессы | 322 | 7.2. Взаимное исключение | 327 | 7.3. Синхронизация процессов | 346 | 7.4. Передача сообщений | 356 | 8. Макрообработка | 372 | 8.1. Классификация макропроцессоров | 373 | 8.2. Текстовые макропроцессоры | 375 | 8.3. Синтаксические макропроцессоры | 382 | Приложение. Правила вывода | 384 | Список литературы | 395 |
|
Книги на ту же тему- Языки программирования. Концепции и принципы, Кауфман B. Ш., 1993
- Сравнительное изучение языков программирования, Хигман Б., 1974
- Языки программирования. Практический сравнительный анализ, Бен-Ари М., 2000
- Математическая логика в программировании: Сборник статей 1980—1988 гг., Захарьящев М. В., Янов Ю. И., ред., 1991
- Программирование на современных алгоритмических языках: Учебное пособие для втузов.— 3-е изд., перераб. и доп., Пярнпуу А. А., 1990
- Новое в зарубежной лингвистике. Вып. XXIII. Когнитивные аспекты языка, Петров В. В., Герасимов В. И., сост., 1988
- Теоретико-множественные модели языков, Маркус С., 1970
- Программирование на IBM/360. — 4-е изд., Джермейн К., 1983
- Язык Ассемблера для IBM PC и программирования, Абель П., 1992
- Индивидуальная отладка программ, Безбородов Ю. М., 1982
- Фортран и искусство программирования персональных ЭВМ, Уорд Т., Бромхед Э., 1993
- Современные языки и технологии параллельного программирования: Учебник, Гергель В. П., 2012
- Программирование и алгоритмические языки, Криницкий Н. А., Миронов Г. А., Фролов Г. Д., 1975
- Практика программирования на Фортране: Упражнения с комментариями, Дрейфус М., Ганглоф К., 1978
- Язык программирования Эль-76. Принципы построения языка и руководство к пользованию. — 2-е изд. испр. и доп., Пентковский В. М., 1989
- Сравнительный курс языка PL/1 (на основе алгола-60), Безбородов Ю. М., 1980
- Программирование на языке Ада, Вегнер П., 1983
- Язык программирования Си для персонального компьютера, Бочков C. O., Субботин Д. М., 1990
- Объектно-ориентированное программирование в C++. — 4-е изд., Лафоре Р., 2003
- Проектирование программных средств, Липаев В. В., 1990
|
|
|