Н. Джехани - Язык Ада (1988) (1160771), страница 58
Текст из файла (страница 58)
Ввод-вывод низкого уровня 14.7. Примеры ввода. вывода . Приложение А. Атрибуты, предопределеннью в языке Приложение В. Прагмы, предопределенные в языке Приложение С. Предопределенное окружение язь!ка . Приложение О. Термины и определения Приложение Е. Сводка синтаксиса . Перекрестные ссылки синтаксиса Приложение Г. Характеристики, зависящие от реализации .. Список понятий языка Ада . 447 448 450 450 452 453 464 455 455 456 457 458 458 459 459 460 461 481 483 483 464 466 466 468 469 469 472 473 474 474 476 478 479 483 484 484 464 Глава 1 ВВЕДЕНИЕ Ада — это язык программирования, разработанный в соответствии с так называемыми стипмановскими требованиями, определенными МО США. Бопее того, эти требования определили язык с мощными выразительными возможностями, пригодный дпя широкого кпасса задач. Вследствие этого языку Ада присущи как свойства кпассических языков, подобных языку Паскаль, так и свойства, характерные дпя специализированных языков.
Таким образом, этот язык является современным алгоритмическим языком с традиционными управляющими структурами и средствами определения типов и подпрограмм. Он также удовпетворяет требованию модульности; данные, типы и подпрограммы могут образовывать пакеты. Модульность понимается и в физическом смыспе, что обеспечивается раздельной компиляцией модупей. В допопнение к указанному язык обеспечивает программирование задач реапьного време. ни с возможностями моделирования параппепьных задач и обработки искпючений. Он пригоден также дпя системного программирования; это требует прецизионного управпения представлением данных и доступа к зависимым от системы параметрам.
Наконец, в языке опредепены попьзоватепьский и машинный уровни ввода-вывода. 1.1. ОБЛАСТЬ ДЕЙСТВИЯ СТАНДАРТА В данном стандарте описаны форма представления и семантика программных модулей, написанных на языке Ада. Цепь стандарта — повысить переносимость Ада-программ. 1.1.1. СОДЕРЖАНИЕ СТАНДАРТА Данный стандарт опредепяет: а) форму представления программного модупя, написанного на языке Ада; б]резупьтаты трансляции и выполнения такого программного модуля; в)способ получения Ада.программ из набора программных модупеи; г) предопредепенные программные модупи, которые должна обеспечивать согласованная со стандартом реализация (дапее в тексте — согласованная реализация); д) допустимые в рамках стандарта изменения и способы их задания; е) те нарушения стандарта, которые обязана обнаруживать согласованная реапизация, а также резупьтат попытки транспировать ипи выполнить программный модупь, содержащий такие нарушения; ж)те нарушения стандарта, которые согласованная реализация не обязана обнаруживать.
Этот стандарт не опредепяет: з)средства преобразования программного модуля, написанного на языке Ада, в объектный код, выполняемый процессором; и)средства запуска транспяции, выпопнения программных модулей и управления ими; к)размер и скорость выпопнения объектного кода, а также относительную скорость выпопнения разпичных языковых конструкций; л) форму и содержание любых пистингов, создаваемых реализациями, в частности форму и содержание сообщений об ошибках ипи предупреждающих сообщений; м)результат выполнения программного модуля, содержащего любое нарушение стандарта, которое согласованная реапизация не обязана обнаруживать; н)предепьный размер программы ипи программного модуля для конкретной согласован.
ной реализации. Там, где стандарт предписывает, что программный модуль, написанный на языке Ада, имеет точный результат, этот резупьтат явпяется функциональным значением данного программного модуля, и его должны обеспечить все согласованные реализации. Там, где стандарт допускает неоднозначность результата выполнения программного модуля, под функциональным значением программного модупя в целом понимается множество возможных резупьтатов, и согласованная реализация может обеспечить пюбои из этих возможных резупьтатов. Примерами допустимых неоднозначностей являются: 282 Глава 1 ° значения фиксированных и плавающих числовых величин, а также результаты операций над ними; ° порядок выполнения операторов е различных параллельных задачах при отсутствии явной синхронизации.
1.1.2. СОГЛАСОВАННОСТЬ РЕАЛИЗАЦИИ СО СТАНДАРТОМ Согласованная реализация должна: а) корректно транслировать и выполнять правильные программные модули, написанные на языке Ада, если только их объем находится в допустимых для реализации пределах; б) отвергать все программные модули, объем которых больше допускаемого реализацией; в) отвергать все программные модули, содержащие ошибки, обнаружение которых преду. смотрено стандартом; г) обеспечивать всеми предопределенными программными модулями, предусмотренными стандартом; д)содержать только те изменения, которые допускает стандарт; е) описывать допустимые изменения способом, разрешенным стандартом. 1.2. СТРУКТУРА СПРАВОЧНОГО РУКОВОДСТВА Это справочное руководство содержит четырнадцать глав, три дополнения, три приложения, указатель терминов и синтаксис.
Кюкдая глава делится на разделы, которые имеют общую структуру. В каждом разделе вводятся соответствующие понятия, даются все необходимые синтаксические правила и описывается семантика соответствующих конструкции. В конце раздела могут быть даны приме. ры, примечания и ссылки. Примеры предназначены для иллюстрации возможных форм описанных конструкций. Примечание предназначено для пояснения следствий из правил, описанных в данном или других разделах.
Ссылки нужны, чтобы обратить внимание читателей на термины и терминологические обороты, имеющие специальный смысл и определенные в других разделах. Определение стандарта языка программирования Ада, состоящее из четырнадцати глав н трех дополнений, предполагает следующее ограничение: материал каждого из перечисленных ниже пунктов носит информативный характер и не является частью определения стан. дарта языка. ° 1.3.
Цепи и источники разработки ° 1.4. Обзор свойств языка ° Примеры, примечания и ссылки, приведенные в конце любого раздела ° Каждый подраздел, заголовок которого начинается со слов «Пример» или «Примеры» 1.3. ЦЕЛИ И ИСТОЧНИКИ РАЗРАБОТКИ Язык был разработан, исходя из трех противоречивых требований: ° обеспечить надежность и сопровождение программ; ° поддерживать программирование как вид человеческой деятельности; ° обеспечить эффективность программ. Необходимость в языках, повышающих надежность и упрощающих сопровождение, является установленным фактом.
В языке Ада предпочтение было отдано удобочитаемости про. граммы по сравнению с легкостью ее написания. Например, правила языка требуют, чтобы все переменные и их типы бьаи явно описаны в программе. Далее, тип переменной неизменен, и компилятор может гарантировать совместимость операций над переменными со свойствами, присущими объектам этого типа.
Более того, чтобы избежать обозначений, которые могут привести к ошибкам, в синтаксисе языка было отдано предпочтение конструкциям, которые ближе к естественному языку, чем к каким-то кодированным формам. Наконец, язык поддерживает раздельную компиляцию программных модулей способом, облегчающим разработку и сопровождение программ и обеспечивающим один и тот же уровень контроля для межмодульных и внутримодульных связей. При разработке языка также учитывался человеческий фактор в программировании. Прежде всего была сделана попытка ограничить язык настолько, насколько это позволяла широкая область его применения.
Авторы попытались путем систематизации и выявления однородности охватить всю область применения небольшим числом основных понятий, а так. же постарались вложить в языковые конструкции такую семантику, которая совпадает с интуитивным представлением о них у пользователя. 283 Вве еяяе Как и многие другие виды человеческой деятельности, разработка программ становится все более децентрализованнои и разобщенной. Следовательно, одной из центральных идеи при разработке языка было обеспечение возможности составлять программу из независимо разработанных компонент. Концепции пакетов, личных типов и настраиваемых модулей прямо служат этой идее, которая повлияла на многие другие аспекты языка, При создании любого языка нельзя избежать проблемы эффективности.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
