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.

< Previous Terms	Terms Containing assertion	Next Terms >
assembly code Assembly Language assembly language Assembly Language Compiler Assembly Language for Multics	ABSYS ANNotated Ada assertion axiomatic semantics AXLE	ASSET asset management Asset Source for Software Engineering Technology assigned numbers assignment