assertion

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

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 ?
We describe the facts by using the assertional language, as follows: (1) A(C): To specify that A is an instance of class C, for example: CauseConflict(CauseConflict_1).
where K is the conceptual domain objects ontology; T is a terminological axioms; A is an assertional axioms.
The main operation of the semantic interpretation (SI) layer is to create the assertional component of the knowledge base, in other words to link the individuals with the concepts.
b) The assertional use usually involves a choice of some positional other than the default (e.
The assertional phrase analysis examined relationships between concepts for the types of statements that were made.
SCHNEIDER'S book, On Concurrent Programming (Springer-Verlag, 1997), discusses how assertional reasoning can be used in the analysis and development of concurrert programs.
BioWisdom will harmonise the data with its industry leading software solutions enabling the information to be combined with other public and private sources or utilised independently as raw data or assertional meta data.