Статья 2276

Такая проверка может быть проведена путем анализа всего текста программы, и в этом случае она охватит все возможные действия, определяемые данной программой. В таком случае контрольный просчет скомпилированной программы подтверждает правильность определенной операции лишь для конкретных пробных значений исходных данных.
Необходимость описания структур данных потребовала расширить понятие типа данных и такое расширение было сделано в языке программирования Паскаль. Структурированная переменная - это переменная, состоящая из многих элементов, или компонент, на которую, тем не менее, можно ссылаться как на единый объект. Например, устройство календаря позволяет указывать конкретное число, но при этом должен существовать и способ ссылки на месяц и год. В описание типа структурированной переменной входит число составляющих ее элементов, что дает возможность компилятору выделить для этих элементов необходимую память, а также подготовить информацию для организации к ним доступа.