Некоторые новые экспериментальные языки программирования предоставляют возможность введения утверждений, позволяющих оговаривать условия, требуемые для правильной работы конкретной программы. Чаще всего встречаются два типа утверждений: глобальные, которые содержатся вместе с описателями, и локальные, располагающиеся внутри программы и позволяющие оговаривать определенные значения переменных в данной точке выполняемой программы. Примером условий первого типа служит объявление N в качестве целочисленной переменной и утверждение о том, что она должна всегда принимать положительные значения. Примером утверждения второго типа является условие, что еженедельная плата не должна превышать 2000 долл.

Если какое-нибудь из утверждений не выполняется, программа прекращает работу и выдает сообщение об ошибке. Утверждения второго типа можно легко встраивать в программу с помощью оператора Ш. Некоторые языки предоставляют программисту возможность вводить утверждения, на основе которых при компилировании формируется соответствующий контрольный блок программы; в рабочем режиме утверждения трактуются как комментарии.