assertion

(redirected from assertional)
Also found in: Dictionary, Thesaurus, Legal, Wikipedia.

assertion

(programming)
1. An expression which, if false, indicates an error. Assertions are used for debugging by catching can't happen errors.

2. In logic programming, a new fact or rule added to the database by the program at run time. This is an extralogical or impure feature of logic programming languages.
References in periodicals archive ?
In its assertional use, its semantic generality would--in theory--allow it to replace all postural verbs in all their occurrences.
Such a focus would normally trigger the assertional use of posturals (see Section 3.
Furthermore, positional verbs are always used in an assertional way, i.
They show similarities to the assertional use of the posturals: they assert a current noncanonical orientation, thereby constituting a marked choice.
In fact, it is possible for speakers to combine assertional and presuppositional information in one clause: they can use a serial verb construction containing a positional (asserting the current orientation) and a locative verb (presupposing a certain position).