assertion (Q741248)
in computer programming, statement that a predicate is always true at that point in code execution
Language:
other details
aliases assertion statement
description in computer programming, statement that a predicate is always true at that point in code execution

External Links
(P646) /m/01h_v3
(P5047) Assertions
(P6366) 40422974
(P10283) C40422974