ASSERTION


Англо-русский перевод ASSERTION

суждение, утверждение а) выражение, которое, если его значение ложно, означает ошибку. Подобные выражения могут использоваться для целей отладки программ б) в логическом программировании - новый факт или правило, которые программа во время выполнения вводит в базу данных см. тж. logic programming, Prolog, run time

Пройдаков Э.М., Теплицкий Л.А.. English-Russian explanatory dictionary of terms and abbreviations of computer engineering, Internet and programming.      Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию.