assertion
NounWordNet 3.0
Noun (2)
- a declaration that is made emphatically (as if no supporting evidence were necessary)Synonyms: avermentasseveration
- the act of affirming or asserting or stating somethingSynonyms: affirmationstatement
Webster's Dictionary (GCIDE)
Assertion \As*ser"tion\, n. [L. assertio, fr. asserere.]
1.The act of asserting, or that which is asserted; positive declaration or averment; affirmation; statement asserted; position advanced. [1913 Webster]
There is a difference between assertion and demonstration.— Macaulay.[1913 Webster]
2.Maintenance; vindication; as, the assertion of one's rights or prerogatives. [1913 Webster]
Free On-line Dictionary of Computing
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.
(1997-06-30)