[Текст] : методический материал / А.Г. Калинин, И.В. Мацкевич. - Москва : Радио и связь, 1991. - 399 с. : 19 ил. - Библиогр: с.395-398 ISBN 5-256-00638-X. - 4.80 р.
Аннотация: Обобщены и систематизированы требования к современным языкам программирования (С, Паскаль, Модула, Ада и др.). С единых позиций рассматриваются синтаксис и семантика всех средств описания данных простых (числовых, перечислимых) и структурных (массивы, записи, объединения) типов, динамических структур данных, а также средств контроля типов. С таких же позиций рассмотрены распространенные и перстпективные средства описания действий (выражения, операторы действия, операторы последовательного выполнения, условные операторы, операторы цикла, блоки, процедуры, функции, рекурсивные подпрограммы, пакеты), а также методы доказательства правильности программ, описанных этими средствами. Абстрактные типы данных представлены как логическое продолжение совершенствования средств описания и данных и действий. В качестве дополнительных возможностей, лишь косвенно определяющих сущность языков программирования, рассмотрены средства обработки файлов и исключений, параллельной и макрообработки. Описание средств языка сопровождается анализом их характеристик и свойств. Введение тех ли иных средств в языки обосновывается с точки зрения как представления пользователям возможностей для решения широкого круга задач, так и поддержки технологии программирования. Применение иллюстрируется примерами. Может служить методологической основой при проектировании, оценке и освоении языков, при разработке учебных курсов по конкретным языкам программирования, а также при верификации программ аналитическими методами. Для научных работников, может быть полезна профессиональным программистам.
Держатели документа: ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Доп.точки доступа: Мацкевич, И.В.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
