УДК |
Аннотация: Обобщены и систематизированы требования к современным языкам программирования (С, Паскаль, Модула, Ада и др.). С единых позиций рассматриваются синтаксис и семантика всех средств описания данных простых (числовых, перечислимых) и структурных (массивы, записи, объединения) типов, динамических структур данных, а также средств контроля типов. С таких же позиций рассмотрены распространенные и перстпективные средства описания действий (выражения, операторы действия, операторы последовательного выполнения, условные операторы, операторы цикла, блоки, процедуры, функции, рекурсивные подпрограммы, пакеты), а также методы доказательства правильности программ, описанных этими средствами. Абстрактные типы данных представлены как логическое продолжение совершенствования средств описания и данных и действий. В качестве дополнительных возможностей, лишь косвенно определяющих сущность языков программирования, рассмотрены средства обработки файлов и исключений, параллельной и макрообработки. Описание средств языка сопровождается анализом их характеристик и свойств. Введение тех ли иных средств в языки обосновывается с точки зрения как представления пользователям возможностей для решения широкого круга задач, так и поддержки технологии программирования. Применение иллюстрируется примерами. Может служить методологической основой при проектировании, оценке и освоении языков, при разработке учебных курсов по конкретным языкам программирования, а также при верификации программ аналитическими методами. Для научных работников, может быть полезна профессиональным программистам.
Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Доп.точки доступа:
Мацкевич, И.В.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)