Отправить другу/подруге по почте ссылку на эту страницуВариант этой страницы для печатиНапишите нам!Карта сайта!Помощь. Как совершить покупку…
московское время23.07.18 20:32:30
На обложку
Расчётные модели сейсмических воздействийавторы — Назаров Ю. П.
Фольклор. Текст. Традицияавторы — Чистов К. В.
Электронный магазин на Java и XML (+CD-ROM)авторы — Брогден Б., Минник К.
б у к и н и с т и ч е с к и й   с а й т
Новинки«Лучшие»Доставка и ОплатаМой КнигоПроводЗаказ редких книгО сайте
Книжная Труба   поиск по словам из названия
Авторский каталог
Каталог издательств
Каталог серий
Моя Корзина
Только цены
Рыбалка
Наука и Техника
Математика
Физика
Радиоэлектроника. Электротехника
Инженерное дело
Химия
Геология
Экология
Биология
Зоология
Ботаника
Медицина
Промышленность
Металлургия
Горное дело
Сельское хозяйство
Транспорт
Архитектура. Строительство
Военная мысль
История
Персоны
Археология
Археография
Восток
Политика
Геополитика
Экономика
Реклама. Маркетинг
Философия
Религия
Социология
Психология. Педагогика
Законодательство. Право
Филология. Словари
Этнология
ИТ-книги
O'REILLY
Дизайнеру
Дом, семья, быт
Детям!
Здоровье
Искусство. Культурология
Синематограф
Альбомы
Литературоведение
Театр
Музыка
КнигоВедение
ЛитПамятники
Современные тексты
Худ. литература
NoN Fiction
Природа
Путешествия
Эзотерика
Пурга
Спорт

/ИТ-книги

Универсальные языки программирования. Семантический подход — Калинин А. Г., Мацкевич И. В.
Универсальные языки программирования. Семантический подход
Научное издание
Калинин А. Г., Мацкевич И. В.
год издания — 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

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

  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

Напишите нам!© 1913—2013
КнигоПровод.Ru
Рейтинг@Mail.ru btd.kinetix.ru работаем на движке KINETIX :)
elapsed time 0.035 secработаем на движке KINETIX :)