Что вам интересно?

Порядок выполнения и сбои

Представление ошибок и восстановление

Выбор средств выражения и ограничений

Владение и управление ресурсами

Основная программа и границы выполнения

Проверка типов и внешние данные