Обоснование Ады 2012

Содержание

• Предисловие
• Вступление
• Глава 1. Введение
• Процесс пересмотра языка
• Объём проделанной работы
• Обзор изменений
• Обзор: Контракты
• Обзор: Выражения
• Обзор: Структура и правила видимости
• Обзор: Задачи и свойства реального времени
• Обзор: Улучшения в других областях
• Обзор: Стандартная библиотека
• Обзор: Заключение
• Глава 2. Контракты и аспекты
• Обзор изменений: Контракты
• Спецификации аспектов
• Предусловия и постусловия
• Инварианты типов
• Предикаты подтипа
• Значения по умолчанию
• Проверки расположения
• Глава 3. Выражения
• Обзор изменений: Выражения
• Условные выражения
• Выражения выбора
• 3–4
• 3–5
• 3–6
• 3–7
• 4
• 4-1
• 4-2
• 4-3
• 4-4
• 4–5
• 4–6
• 5
• 5-1
• 5-2
• 5-3
• 5-4
• 5-5
• 5–6
• 6
• 6-1
• 6-2
• 6-3
• 6-4
• 6-5
• 6-6
• 7
• 7-1
• 7-2
• 7-3
• 7-4
• 7-5
• 7-6
• 8
• 8-1
• 8-2
• 8-3
• 8-4
• 8-5
• 8-6
• 8-7
• 8-8
• 9
• 9-1
• 9-1-1
• 9-1-2
• 9-2
• 9-2-1
• 9-2-2
• 9-3
• 9-3-1
• 9-3-2
• 9-3-3
• 9-3-4
• 9-3-5
• 9-3-6
• 9-3-7
• 9-3-8
• 9-3-9
• 9-3-10
• 9-4
• 9-4-1
• 9-4-2
• 9-4-3
• 9-4-4
• 9-5