Dictionary
Translation
Tools
Word list
Emoticon dictionary
Firefox search plugin
VDict bookmarklet
VDict on your site
About
About
FAQ
Privacy policy
Contact us
Options
Change Typing Mode
Delete history
View history
Tiếng Việt
Lookup
Lookup
Computing (FOLDOC)
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
Vietnamese - French
French - Vietnamese
Computing
English - English
Chinese - Vietnamese
Enter text to translate (200 characters maximum)
Translate now
Translate now
Search in:
Word
Vietnamese keyboard:
Off
Virtual keyboard:
Show
Translation
powered by
Computing (FOLDOC) dictionary
(also found in
English - Vietnamese
,
English - English (Wordnet)
,
French - Vietnamese
)
assertion
Jump to user comments
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)
Related search result for
"assertion"
Words contain
"assertion"
in its definition in
Computing (FOLDOC) dictionary:
deductive tableau
rich object
CONNIVER
ABSYS
assertion
Cyc
liar paradox
Larch
ANNotated Ada
axiomatic semantics
more...
Comments and discussion on the word
"assertion"