Н. Джехани - Язык Ада (1988) (1160771), страница 54
Текст из файла (страница 54)
Х Ргееспап апс) Сатрапу, 1977. Автор заглядывает в историю развития ЭВМ и исследует перспективы прогресса искусственного интеллекта. ШС80 МСС79 Мсбепгк1с А. Р., Ргойгасп чгег!Г!сас[оп $)в!пй Ас[а, СатЬгЫ8е Оп!чегя!су Ргевя (1982). Мооге 1.. Р., Ас$а: Соипсеяя оГ 1оче!асе — Вугоп'я Гав!1[птаге РаийЬсег, 3ойп Миггау, $977. Первая полная биографии леди Ады Лавлейс. Кни- га, по моему мнению, несколько надоедлива. Статья, названная «Ле- ди Лавлейс и Чарльз Бэббидж» [НО580), короче и интересней. МСО82 МОО77 Моггь К Н., )г.
Турев аге пос Бейк АСМ Бутров)ит оГ Рппсср1ев оГ Ргойгапспипй ).апйиайев, Вовсоп, МА, 1973. Вводится понятие о том, что типы — это множества значений плюс множество операций. МОК73 МоггВ К Н., )г., Сап Ас[а Кер!асе РОКТКАХ Гог Хшпепса! Сотри- саг!оп? 51~р)ал Мог!сел 16, $2, 10 — 13 (РесетЬег 198!). Неубедительиьсе аргументы по поводу того, что язык Ада не является подходящей заменой языку Фортран. МОК8! Х$58! РАК72 Ргац Т. ч('., Ргойгапишпй 1-апйиайев: Рея[йп апс1 1тр[етепгайоп, Ргепйсе-Най, 1975.
[Имеется перевод: Пратт Т. Языки программирования: разработка и реализация. — Мл Мнр, 1979.[ Ру!е!. С., ТЬе Ас$а Ргойгапнп!пй Г.апвиайе, Ргепг!се-Най 1псегпасюпа1, 1981. [Имеется перевод: Пайп Я. Ада — язык встроенных систем.— Мл Финансы и статистика, 1984.[ Эта книга — полное введение в язык Ада. Она содержит краткие, но исчерпывающие замечания и рекомендации для людей, программирующих иа Фортране и интересующихся языком Ада. РКА75 РУ$.8! РоЬегм Е.
Б., С!аг$се Е. М., Ечапя А., Юг., Могйап С. К., Тая)с Мапвегпепс сп Ас[а: А Спбса! Еча!иас!оп Гог Кеа[-Типе МиЫргосемогя, 5оугсчаге— ргасгке алс( Ехрег)енсе, 11, 1О (ОссоЬег !981). Обсуждается предвари- тельный вариант языка Ада. КОВ81 Ьймеп Е С. Р., %а!!!я Р., %!с1нпапп В. А. апс( осйегв, Ас)а Еигоре Ои!бе!!пея Гог сйе Рог!а[Я!!Су оГ Ас)а Ргойгагпя, Тесйпка1 Керогг, Ха!юла! РЬуя[са! $.аЬогасогу, ТесЫ[пйсоп, М!Ос)!евах, Т'ч(111 О[я«г, $)К.
Руководство для программистов при разработке и кодировании переносимых поогоамм. Рагпая Р., Оп гйе Спсег!а со Ье $)вес) !п Ресотробпй Буыепся $пго Мос[и1ев, САСМ 15, 1053 — 1058 (РесепзЬег 1972). Преимущества создания программых комплексов из модулей широко известны. В статье предлагаются правила для декомпозиции системы на модули, основанные на сравнении двух подходов к декомпозиции.
Первый — разделение на модули, являющиеся исполнительными единицами; второй — разделение на модули по логическим функциям. Второй подход использует принцип скрытия информации, тж пользователю доступен только интерфейс с модулем, а вся другая информация скрыта от него. Второй подход легче модифицировать н понимать.
Аногн ванная библио ня БсЬвагга К. 1., Ме!1!аг-БпигЬ Р. М., Оп гйе БшгаЬ[йгу оГ Аг(а Гог $Ье АгГ!Г!с!а! !иге!![йеисе Арр!$саГ!оиз, БК! 1игегпабопа1, 333, Качепзноод Ачепие, Меи!о Раг)г, Са!Ноги!а 94205, )и!у 1980. Рассматривается предварительный вариант языка Ада с целью анализа его возможностей для использования при решении задач искусственного интеллекта (ИИ). Хотя на языке Ада можно писать программы, пригодные для решения задач ИИ, авторы статьи, однако, не уверены, что язык Ада можно использовать в качестве основного языка для программирования задачи ИИ. БСН80 Яге!1у Р. О., ТЬе АСМ Роайоп ои $Ье Бгаибагг[!айаг!ои оГ Гйе Ада Еап8иайе, САСМ, 25, 2, 118 — 120 (РеЬгиагу 1982). Принятию АЬ(БГ- стандарта языка Ада предшествовал пропесс обсуждения.
В процессе обсуждения приняло участие 96 организаций, 66 из которых проголосовали «за», 23 — «против» и 7 воздержались. АСМ возражала против стандарта, в основе которого лежат настоящие спецификации [ООО806!. В работе содержится изложение причин возражения и отклики иа [ООО806!. Отрицательное решение было принято АСМ после голосования ее членов: 72 — «против», 39 — «за», 4 воздержались. БКЕ82 Ргосеег[(пйз оГ гЬе АСМ-Б1ОРГ.АЬГ Бушроюши ои $Ье Аг(а Рговгаппп1и8 Г,аийиайе, Воз!оп, МамасЬизеггз, РесешЬег !980. Обсуждаются опыт использования языка Ада, написания компилятора, разногласия при реализации различных коиструкпий языка Ада и т.д. Б г'М80 ТНО78 %емепиап А.
1., Тигопай Ргойгаппишй 1.аийиайе Оеяйи, !ЕЕЕ Сошригег Бос!егу, 1980. Содержится перепечатка статьи о различных аспектах разработки языков программирования — философия проектирования, управляющие структуры, типы даных, разработка языков Паскаль и Ада, обработка исключений и опыт разработки языков программирования. В частности, в ней содержится документ, описывающий окончательные требования к языку (стальные), которые легли в основу разработки языка Ада. %АБ80 %ейиег Р., Ргойгашпипй н!ГЬ Аг[а: Ап Гпггог(псг!оп Ьу Меаиз оГ Огаг[- иагег) Ехашр!ез Ргепг!се-На!1, 1980.
[Имеется перевод: Вегнер П. Программирование на языке Ада. — Мл Мир, 1983.[ Введение в предварительную версию языка Ада. %ЕС80 %ейпег Р., А Бе!Г-Азземшепг Ргосег(иге Оса!!и8 «ч[$Ь гйе Рговгапишпй 1.апйпайе Аг[а, САСМ 24, 10, 647 — 677 (ОсгоЬег 1981). Описывается набор приемов, помогающих читателю оценить и углубить свои зна- ния о языке Ада.
%ЕО81 %ейиег Р., Оп Гйе $)шйсайои оГ Па!а апг$ Ргойгаш АЬзггасйоп 1и Ада, Соп(егеисе Кесоп) оГ $Ье Теп!Ь Аппиа1 АСМ Бушрозшш оп Рпис1р1ез оГ Ргойгагпш!и8 1.апйиайез, 256 — 264, Апзг!и, ТЬхаз (Запиагу 1983). Язык Ада обеспечивает два эквивалентных механизма для скрытия представления данных: абстракцию данных и абстракцию программ, соответствующие типам и механизму настройки соответственно.
Абстракция данных заключается в предоставлении программисту лич- %ЕО83 ТЬогпрзоп К., (ЛЧ1Х 1шр1егиепгабоп, ВБТЛ, 57, 6, рагс 2, !931 — 1946 ()и!у-Аийиз! 1978). Анногн ванная библио я ня %ЕЬ77 %ЕЬ81 %ЕТ81 %ЕТ83 %1С81 %1Х8! %)К71 %1К73 %1К76 %1К77а ных типов и операций над объектами этих типов. Абстракция программы (конкретизация настраиваемого пакета) дает пользователю операции над объектами, скрытыми от него.
Использование этих двух механизмов приводит к усложнению языка. Автором предлагается унификация этих механизмов. Он утверждает, что еше есть время подумать об изменении языка Ада и разработке его наследника. %е!зЬ 3., Бпеебпйег М. 3., Ноаге С. А. К., АшЬ<йи!г!ез апд )пзесиг!иез ш Разса1, Бо31<чаге — Ргагйсе оп<1 Ехренепсе, 7, 6, 685 — 696 (ХочегпЬег !977). Обсуждается эквивалентность типов. Эквивалентность типов разбивается на два класса — именную и структурную.
%е!зЬ Л., Ь!згег А., А Согпрагабче Б!ис)у о( Таз)< Сошпшп!сабоп ш Ада, Ба() <гаге — Ргасбсе апд Ехрег!енсе, 11, 257 — 290 (1981). Сравниваются механизмы для взаимодействия процессов в языке Ада с взаимолействием процессов Хоара и распределенными процессами Хансена. %е<Ьеге)! С. Б., РгоЫешз ичгй гЬе Ада Ке[егепсе Огаиипаг, 678р(ап №11сез, 16, 9, 90 — 104 (БергеглЬег !98!). Грамматика языка Ада в руководстве по языку не является полной и удобной для использования при автоматической генерации синтаксического анализа. В статье представлена пересмотренная грамматика. %егйеге11 С. Б., Рг!чаге Сопцпип!сагюп, РеЬгиагу 28 апд МагсЬ 18 (1983).
%!с1ииапп В. А., Тигог!а! Ма!ейа! о( гйе Кеа! Раса Турез 1п Ас!а, ТесЬп[- са) Керопй Ха!юла! РЬуз!са! )аЬогагогу, Тес$6!пйгоп, МесЫ1езех Т%11 01%, ЫК. Введение в новые срепства языка Ада в области вычислений для программистов, знакомых с арифметическими вычислениями, но не знакомыми с языком Ада. %!и)<!ег Е Е Н., Р1йегепсез Ьепнееп Рте!ип!пату Ада апд Р1па! Аба, Б18р1ап Мог(сег, 16, 8, 69 — 81 (Аийизг 1981).
Приводится список основных различий мех<ду предварительной версией языка Ада [РОР79а) и АХБ1 стандартом языка Ада [РОР806). %!ггЬ Х., Ргойгаш Рече!оршеп! Ьу Бгерчйзе Кейпешепг, САСМ 14, 4 (197!). Классическая статья о пошаговой детализации. Брукс в своей книге <<Мифический человеко-месяц» назвал пошаговую детализацию наиболее важной формализацией программирования 70-х годов. %!цЬ Х., Бугцешайс Ргойгапип!п8< Ап !и!го<)исг!оп, Ргепбсе-На!1, 1973.
[Имеется перевод: Вирт Н. Систематическое программирование.— Мл Мир, 1977.) %!г!Ь Х., А1(обйипз + Ра!а Бггисгигез - Ргойгашз, Ргеп!!се На!1, 1976. [Имеется перевод: Вирт Н. Алгоритмы-~структуры данных=программы. — Мл Финансы и статистика, !984.) %!ггЬ Х., Моди!а: А Ьапйиайе (ог Моди!аг Ми!г!ргойшшпипй, Бо7)<гаге — Ргасбсе апг( Ехрепепсе, 7 (1977). Язык программирования высокого уровня Модула — попытка разрушить одно из последних владений языков программирования, а именно машинно-зависимые системы программирования, такие как драйверы.
Язык Модула— потомок языка Паскаль. Он содержит средства для мультипрограм- Апоги ванная библио пя %(К77б %1К77в %1К80 %1К82 УЛ/С81 мирования и был разработан специально для ЭВМ РРР-11. В работе описывается концепция модуля (аналогия пакетов в языке Ада), концепция обработки, интерфейс между модулями и сигналы, %!гг)з Х., Тйе ()зе о( Мооп!а, Бо))ваге — Ргасбсе апЫ Ехрег(енсе, 7 (!977). %!гФ Х., Резгйп апг) 1шр!ешепгабоп о( Моди!а, бо~9иаге — Ргпсбсе апг( Ехрег(енсе, 7 (1977). %!ггп Х., Моби!а-2, Тес)1п!Са! Керогг за 36, 1пзбгцг Вйг 1п(огшаг!)г, ЕТН, СН-8092, Ецг!сЫ Опыт, полученный Виртом при разработке, реализации и использовании языка Модула, положен в основу языка программирования Модула-2.
Концепция процесса заменена на средство низкого уровня — сопрограммы. Преимущество этого состоит в том, что теперь программист может писать любой требуемый алгоритм планирования, а не использовать один из встроенных в язык процессов планирования, как в языке Модула. Модула-2 поддерживает широкомасштабное программирование за счет раздельного описания и реализации модулей. Язык ориентирован на ЭВМ серии РОР-11 (как и язык Модула). %!г(Ь Х., Рговгашш(пй ш Моди!а-2, Брг!пвег-Чег!а8, 1982. Ецс)сегшап Б. 1., РгоЫешз чг!гй гйе Мп11!газ(г!пй Гас!111!ез !и !Ье Аг)а Ргойгапцп!пв 1.апйцайе, Тесйп!са! Хосе, Пе(епзе Сопцпцшсабопз Епй!пеег!пй Сепгег, Кезгоп, Ч!гй!п!а.