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