Определение языка Ада допускает машинную зависимость в контролируемых пределах. Не допускаются машинно-зависимые расширения, ограничения синтаксиса и семантики. Машинная зависимость допускается только в определенных реализацией прагмах и атрибутах, в машинно-зависимых соглашениях, перечисленных в гл. 13, а также в ограничениях на использование спецификаторов представления.

Справочное руководство по каждой реализации языка программирования Ада должно включать в себя такое приложение (называемое приложением F), которое описывает все характеристики, зависящие от реализации. В таком приложении для данной реализации должны быть перечислены:

1. Форма, допустимые места расположения и результат каждой зависящей от реализации прагмы.

2. Имя и тип каждого атрибута, зависящего от реализации.

3. Спецификация пакета SYSTEM (см. 13.7).

4. Список всех ограничений на спецификаторы представления (см. 13.1).

5. Соглашения об использовании генерируемых реализацией имен, обозначающих компоненты, зависящие от реализации (см. 13.4).

6. Интерпретация выражений, появляющихся в спецификаторах адреса, включая связанные с прерываниями (см. 13.5).

7. Любое ограничение на неконтролируемые преобразования (см. 13.10.2).

8. Любые зависящие от реализации особенности для пакетов ввода-вывода (см. 14).