предикат в программе, указывающий на то, что разработчик предполагает этот предикат в этом месте программы всегда истинным
Assertion (software development)
predicado incluido en un programa informático
në programimin kompjuterik, pohimi se një kallëzues është gjithmonë i vërtetë në atë pikë në ekzekutimin e kodit
Assertion (Informatik)
표명
斷言 (程式)
predykat umieszczony w pewnym miejscu w kodzie programu
表明 (プログラミング)
Asserção
Aserción (informática)
Припущення (програмування)
predicato presente in un programma informatico
v računalniškem programiranju, izjava, da je predikat na tej točki izvajanja kode vedno resničen
Assertie
Asserzione (informatica)
【計算機プログラミング】コード実行時において述語が常に真であるような言明
Aserce
Asercja (informatyka)
Aussage über den Zustand eines Computer-Programms oder einer elektronischen Schaltung
프로그램 안에 추가하는 참·거짓을 미리 가정하는 문
in computer programming, statement that a predicate is always true at that point in code execution
Утверждение (программирование)