Контроль правильности записи программы (checking correctness of writing a program) — метод информатики, устанавливающий правильность записи и идентификации операций в выражениях и операторах для контроля логики применения языковых конструкций. Метод К.п.з.п. предназначен для автоматизации процесса поиска синтаксических, семантических, логических и прагматических ошибок, в частности, правильности использования совмещенных идентификаторов и обозначений операций.
[Словарь понятий по информатике от И до М (Электронный ресурс). Режим доступа: http:// asemenov77.narod.ru›slovim.html /, свободный.]