You are here: irt.org | FOLDOC | 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)
Nearby terms: Assembly Language Compiler « Assembly Language for Multics « as sensible as a dictionary « assertion » ASSET » asset management » Asset Source for Software Engineering Technology
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL