Н. Джехани - Язык Ада (1988) (1160771), страница 53
Текст из файла (страница 53)
Спея О., Кесигя!оп ая а Ргойгапшипй Тоо1, Тесйп!са! Керогс ТК75-234, Оерагппепг о( Сошршег Бс!енсе, Сотне!! ()п!чегя!гу, 1сйаса, х. ч., 14853 (Арп! 1975). Спея О., Ап 1!!иясгайоп о! Сшгепг 1с)еая оп гйе Оепчабоп о! Соггесспеяя Ргоо!я апс! Сопесг Ргойгашя, 1ЕЕЕ Туаляасйоля ол Боггсчаге Елй!леег!лх, 2, 4, 238 — 243 (1976). В статье объясняется, каким образом следует разрабатывать правильные программы. Представлен интересный пример, на котором показано доказательство правильности написанной программы. Спея О., Сейаш !с)., Бонзе Ыеая оп Оаса Турея !и Нсйй 1.ече1 1лпяиайея, САС)ЬХ 20, 6 ()ипе 1977), А!яо ргеяепсес1 аг сЛе АСМ Соп!егепсе оп Оага ш Ба(Г 1.а)се С!Су, ()Гай (Магсй 1976). Алогн лилля библио ля ОК179 ОК181 НА1.80 НАМ82 Н1В8! НОА62 НОА74 НОА78 НОА81 Опек О., сапй апс) сот Ье(оге аид 1Ьеп иг е1ве 1п Ас)а. ТесЬпгса! Керогс ТК79 — 402, Оерагстепг оГ Согоригег Бс!енсе, Согпе11 Оп!чегз!гу, 1сЬаса, )Ч.
г'., 14853 (!979). Подвергается критике семантика апд сйеп и ог е!зе в предварительной версии языка программирования Ада. Ог!еа О., ТЬе Бс!енсе о( Ргойгапип1п8, Брг!пйегЧег!ай, 1981. (Имеется перевод: Грие Д. Наука программирования. — Мд Мир, 1984.) Описывается разработка корректных программ вместе с доказательством их правильности. Подобный подход при разработке программ основан на преобразованиях предикатов Дейкстры (О!376). наПогап к., Репсайоп Ршз )м Норез оп Ас1а; )пзг!гш аз)с апу Сотригегз, ТЬе )с)есч гог)с Типез, р. 18Е (Ыочетбег 30, !980).
Напипаг1!пй Б. 3., %!с1ппапп В. Е, Ыитег!са! Рас1сайез !и Ас)а. 1п ТЬе Ке!ас!опзЬ!р Ьеггсееп Ышпепса! Сотрисагюп апс) Ргойгатпипй 1.ап8иайез есйсес) Ьу 1. К. Ке!с), 225 — 344, Ыогсй-Но!1апс) РиЬ)!зЬ!пй Сотрапу, 1982. Хотя язык Ада не предназначен для числовых вычислений он удовлетворяет большинству необходимых числовых вычислений. В статье обсуждаются удобства языка Ада при реализации числовых пакетов и библиотек. Н1ЬЬап! Р., Н18еп А., КозепЬег8 3., БЬасч М., БЬеппап М., Бсисйез !и Ас)а Бсу1е, Брг!пйег-Чег!ай, 1981.
Содержится перепечатка статьи М. Шоу о влиянии идей абстрагирования на современные языки программирования. В этой статье приводятся пять программ, написанных на языке Ада остальными четырьмя авторами. Утверждается, что стиль решений, отраженный в Ада-программах, может повлиять на средства языка Ада. Ноаге С. А. К., Ои!с)сзогс, Сотригег Хоигла), 5, 1 (1962).
Ноаге С. А. К., Мопцогз: Ап Орегаблй Бумет Сопсерг, САСМ 17, Ю (ОссоЬег 1974). В качестве метода структурирования операционной системы предлагается использовать мониторы. В статье содержится несколько прекрасных примеров. Ноаге С. А. К., Сопштпкабпй Бесргепба! Ргосемез, САСМ, 21, 8, 666 — 667 (Аийщс 1978). Задачи в языке Ада основываются на хоаровском предположении о том, что параллельные процессы должны связываться через команды ввода-вывода.
Эта идея, объединенная с защищенными командами Дейкстры, становится очень мошной и многогранной. Структуризация программ как композиция взаимодействия последовательных процессов отстаивается Хоаром как фундаментальная. В статье содержится много прекрасных примеров. Ноаге С. А. К., ТЬе Егпрегог'з О14 С!огЬез, ТЬе 1980 АСМ ТЬг!пй Ажагс) (ее!иге, САСМ, 24, 2, 75 — 83 (РеЬгиагу 1981). Автор пересматриваег свой опыт по разработке, реализации и стандартизации языков программирования, дает предупреждения на будущее. Он убеждает, что язык Ада — большой и сложный язык — содержит опасные и порой не совсем нужные черты (например, обработка исключений) и его нельзя использовать в тех случаях, когда надежность является решающим фактором, например при управлении ядерным реактором или при управлении полетом реактивного снаряда.
Хоар придерживается такой точки зрения, так как уверен, чтот будет очень трудно реалиювать надежный компилятор с языка и, следовательно, писать надежные программы на языке Ада. Анноги анная библио я Бес оГ Башр!е РгоЫешв Гог сЬе РоР Нщй Огс)ег 1апйнайе Ргойгапз, Нопеуие!1, 1пс., Яувсешв апс) Кевеагсй Сепсег, 2600 КЫ8счау Раг)ссчау, Мшпеаро!!в, МХ 554!2. Разбирается решение некоторых задач при программировании на языке ОКЕЕЧ (имя, первоначально данное предварительному варианту языка Ада). НОХ79 Ногпшй Ю. 1., ЕГГессв оГ Ргойгалпп)пй Глпйцайев оп Ке!(аЫ11су, 1и Сошрцс!п8 Зужепм Ке!(аЬсрйу ес)(сес( Ьу Т. Апс!егвоп апс) В. Капс(е!1, СашЬгЫ8е ()п(четв!су Ргем, 1979. В первой части статьи дается исчерпываюший обзор основных черт языков программирования (например, типы н их обработка), влияющих на разработку правильных программ. Признавая тот факт, что ошибки и исключительные ситуации неизбежны в реальных программах, автор во второй части обсуждает средства языка (например, обработку исключений) для написания устойчивых программ.
Заключительная часть статьи посвяшена средствам языков программирования, которые способствуют написанию корректных программ, правильность которых легко доказывается. НОК79 Нпв)сеу Ч. К., Нцв)сеу Н. Р., Г.ас)у Гоче!асе апс) СЬаг!ев ВаЬЬайе, Алла!я оГ г)се О!аготу оГ Сотрибля, 2, 4, 299 — 329. В статье рассказывается о взаимоотношениях между леди Лавлейс и Чарльзом Бэббиджем. И[3880 РГ./1(Р) Глпйнайе КеГегепсе Маппа1, Рогш ОС28-8201, 1ВМ Согрогагюп, 1970. 1ВМ70 1сЬЬсаЬ Ю., Ч!еяч-8гарйв Гог )еап 1сЬЫап'в Ргеяепсабоп.
1и Ргосеесйпйв оГ сЬе Ас1а РеЬш, РеГепве Ас)чапсес( КевеагсЬ Рго)есм Айепсу, Аг11пксоп, ЧА 22209 (БерсегпЬег !980). Содержит набор диаграмм, которые дают представление о языке Ада. 1СН80 Бесопс) РгаГс Ргорова1 оГ сЬе 180 Равса! Бсапс)агс) ()апнагу 1981), Ргяса( №счв, 20. !8081 Зепвеп К., сЧ!гсЬ Х., ТЬе Равса1 ()вег Манна! апс) Керогс, Ярг)пйег-Чег!а8, 1974. (Имеется перевод: Йенсен К., Вирт Н. Паскаль.
Руководство для пользователя и описание языка. — М.: Финансы и статистика, 1982.) Книга содержит подробности реализации языка программирования Паскаль для СРС-6000, осуществленной Виртом. Сообшение содержит определение языка Паскаль и его фактический стандарт. Книга невелика (около 75 страниц), и, вероятно, из-за небольшого объема в ней присутствуют двусмысленности и отсутствуют различные детали. ХЕМ74 КЕК76 Кегшййап В. ЧЧ., Р!апйег Р. 5., Бо(ссчаге Тоо1в !п Равса!, АсЫ!воп-Чгев1еу РпЫ)вЫп8 Со., !98!.
См. КЕК76. (Имеется перевод: Керниган Б., Плоджер П. Инструментальные средства программирования на языке Паскаль. — Мл Радио и связь, 1985.! КЕК8! КегпщЬап В. Ч!с., Р!ацйег Р. 5., Яо(ссчаге ТооЬ, АсЫ(воп-%ев!еу РпЫ!вЫп8 Со., 1976. Книга объясняет, как писать хорошие программы, используя хорошие инструментальные средства. Эти средства предполагается использовать для конструирования других программ. В книге приводятся достаточно сложные реальные примеры. Аногн ванная библио ня К1081 КЫО73 КЬП374 1.АМ83 1.ЕВ82 1.ЕР81 ЬЕР82 ! ЕЧ77 Ь!Б74 Ь!Б76 Ь1877 Ккйшап В. Р., ТЛе Туре Сопсер! ш Аг)а, Аизггабал Сотригег Бг!епге Соттилусаг!он, 3, 1а, 74 — 84 (Мау 1981). Исследуется обработка типов в языке Ада. Автор считает эту часть разработки языка наиболее удачной.
Кпцгй Р. Е., Бог!!п8 апг) БеагсЫпй, Аг(йзоп-ЧЧеэ1еу РцЫЫнпй Со., 1973. (Имеется перевод: Кнут Д. Искусство программирования для ЭВМ. Сортировка и поиск. — Мл Мир, 1978.] КпшЬ Р. Е., Бггцсгцгед Ргойгапцшпй вчгй його Бгагешепгз, Сотрибля Бигчеуа 6, 4, 26! — 301 (Рес. 1974). 1.ашЬ Р. А., Н!1Впйег Р.
Х., Б!пш!аг!оп о( Ргоседцге ЧапаЫеэ Ыз!пй Аг)а Таз)гз, !ЕЕЕ Туапзасбопк о( Боймате Епй!пеег!пй, БЕ-9, 1, 13 — 15 ()апцагу !983). В языке Ада не разрешается описание объектов типа процедур (аналогично описаниям объектов вещественного типа, целого типа, индексируемого типа и т.д.). Используются задачи, похожие на процедуры (больше синтаксически„чем семантически), для моделирования переменных процедур. 1еВ!апс й. 1., Оог)а). 1., Аг)а апг) Бо(пчаге Рече!оршеп! Бпррогг: А Ыеэч Сопсерг !и Ьапйнайе Рез!8п, Сотригег, 75 — 81 (Мау 1982). Язык Ада содержит прекрасные средства для разработки мощного программного обеспечения.
Из-за этих средств язык Ада является необычайно сложным. В этой статье язык Ада рассматривается в сравнении с языком Паскаль, не обладающим средствами для написания мощного программного обеспечения. Ьег)вагд Н., Аг)а: Ап 1пггог)цсг!оп, Брппйег-Чег!ай, !981. Краткое введение в подмножество языка Ада. В книге содержится также полное описание языка Ада (РОР806]. Ьедйагд Н., Рйпйег А., Бса!шй Рогун Аг)а (ог Точчагбз а Бгапг)агг) Ада БцЬэег), САСМ 25, 2, 12! — 125 (РеЬгцагу 1982). Авторы предлагают сократить и урезать язык Ада для того, чтобы уменьшить его величину и сложность, поскольку, по их мнению, последнее является техническим препятствием для успеха языка.
1.ечш К., Ргойшшш!пй Бггцсгнгез (ог Ехсербоп Сопйгюп Напй1пй, РЛ. Р. ТЬеяя Сошрцгег Бс!епсе Рераггшепг, Сагпей!е Ме!!оп Уп!чегзйу (1977). Методология программирования потерпела неудачу в столкновении с критическими аспектами, встречающимися в программах,— исключениями. В диссертации рассматривается обработка исключений в языках, предшествующих языку Ада: РЬ/1, В1!ая Предлагается механизм обработки исключений для уже разработанных языков программирования, учитывающий верифицируемость, единообразие, адекватность и практичность.
1лэ!гоч В. Н., ЕВ!ез Б. !Ч., Ргойгаппшпй гч)гЛ АЬзггас! Раса Турек, Б!яр!ал №г!сев 9, 4 (Арп! 1974). Ь!э!гоч В. Н., РВсщяоп ш гЛе Реяйп апд 1шр!ешепгабоп о( Ргойгашгпшй Ьапйнайез ей!ег) Ьу Х Н. ЧЧ!!!!ашз апг) Р. А. РВЬег, р. 25, Брппйег-Чег!ай, 1976. Ь!э!гоч В. Н., е! а1., АЬз!гас!!оп Месйал!зшк !и СШ, САСМ, 20, 564— 576 (Ацяпз! 1977). Анногн ванная бнбнно ня 1исЬЬасп Р. С., Ро!а)с %., Аба Ехсерсюп Напс)1[пй: Ап Ахютайс АрргоасЬ, АСМ Тгалвасгсоля ол Ргахгаттснй Галйиайея алс( Еуягетл, 2, 2 (Арп! 1980). Рассматривается обработка исключений в предварительном варианте языка Ада. МсСогс)ис)с Р., Масйп!ея угсйо Т)йп1с, %.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
