assertion


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 classic literature ?
Now and then, as he made an assertion, he shot a venomous glance at his opponent, who seemed to be slumbering deeply, with the same broad, happy smile upon his face.
Summerlee declared, with an acid smile, that he fully appreciated the difference between the Thames and the Amazon, which lay in the fact that any assertion about the former could be tested, while about the latter it could not.
Waldron," he said, "to cease to make assertions which are not in strict accordance with scientific fact.
We found her indeed all that our warmest wishes could have hoped for; we had no difficulty to convince her that it was impossible she could love Graham, or that it was her Duty to disobey her Father; the only thing at which she rather seemed to hesitate was our assertion that she must be attached to some other Person.
How could she deny that credit to his assertions in one instance, which she had been obliged to give in the other?
But now prepare to receive proof positive of the truth of my assertions.
So long as the mere assertions which the Declaration contained were not supported by proof, he looked upon that document as evidence for the prosecution, and he too was quite willing to have it read.
The assertions in the prisoner's Declaration of his innocence were still, as the Lord Advocate had remarked, assertions not supported by proof.
com)-- Assertion has announced India's first ever webinar to be hosted on OSP compliance, marking a milestone in the compliance industry.
In this new law, there are many provisions including: making it unlawful for a person to make a bad-faith assertion of patent infringement and outlining what is considered a bad-faith assertion; allowing targets of bad-faith assertions to recover court fees and possibly damages; and allowing the state attorney general to conduct civil investigations into patent trolls.
M2 EQUITYBITES-December 5, 2011-NextOp and AMD enter into multi-year licensing deal for assertion synthesis technology(C)2011 M2 COMMUNICATIONS http://www.
TELECOMWORLDWIRE-December 5, 2011-NextOp and AMD enter into multi-year licensing deal for assertion synthesis technology(C)1994-2011 M2 COMMUNICATIONS http://www.