assertion

Home > Science and Technology > Computers and Electrical Engineering > Computers and Computing

assertion A Boolean formula whose value is claimed to be true. The following are all examples: 4 + 5 = 9 4 is even and 5 is odd x is even or y is odd x – y > 15 for all relevant i, x[i] < x[i+1]

The last assertion states that the array x is sorted into ascending order, with no repeated values.

Assertions are employed extensively in proofs of program correctness, where they are used to characterize program states.

as·ser·tion / əˈsərshən/ • n. a confident and forceful statement of fact or belief: his assertion that his father had deserted the family. ∎  the action of stating something or exercising authority confidently and forcefully: the assertion of his legal rights.

assertion (ă-ser-shŏn) n. the skill to communicate positively in order to press one's own claims, rights, or opinions.

assertion •ashen, fashion, passion, ration •abstraction, action, attraction, benefaction, compaction, contraction, counteraction, diffraction, enaction, exaction, extraction, faction, fraction, interaction, liquefaction, malefaction, petrifaction, proaction, protraction, putrefaction, redaction, retroaction, satisfaction, stupefaction, subtraction, traction, transaction, tumefaction, vitrifaction •expansion, mansion, scansion, stanchion •sanction •caption, contraption •harshen, Martian •cession, discretion, freshen, session •abjection, affection, circumspection, collection, complexion, confection, connection, convection, correction, defection, deflection, dejection, detection, direction, ejection, election, erection, genuflection, imperfection, infection, inflection, injection, inspection, insurrection, interconnection, interjection, intersection, introspection, lection, misdirection, objection, perfection, predilection, projection, protection, refection, reflection, rejection, resurrection, retrospection, section, selection, subjection, transection, vivisection •exemption, pre-emption, redemption •abstention, apprehension, ascension, attention, circumvention, comprehension, condescension, contention, contravention, convention, declension, detention, dimension, dissension, extension, gentian, hypertension, hypotension, intention, intervention, invention, mention, misapprehension, obtention, pension, prehension, prevention, recension, retention, subvention, supervention, suspension, tension •conception, contraception, deception, exception, inception, interception, misconception, perception, reception •Übermenschen • subsection •ablation, aeration, agnation, Alsatian, Amerasian, Asian, aviation, cetacean, citation, conation, creation, Croatian, crustacean, curation, Dalmatian, delation, dilation, donation, duration, elation, fixation, Galatian, gyration, Haitian, halation, Horatian, ideation, illation, lavation, legation, libation, location, lunation, mutation, natation, nation, negation, notation, nutation, oblation, oration, ovation, potation, relation, rogation, rotation, Sarmatian, sedation, Serbo-Croatian, station, taxation, Thracian, vacation, vexation, vocation, zonation •accretion, Capetian, completion, concretion, deletion, depletion, Diocletian, excretion, Grecian, Helvetian, repletion, Rhodesian, secretion, suppletion, Tahitian, venetian •academician, addition, aesthetician (US esthetician), ambition, audition, beautician, clinician, coition, cosmetician, diagnostician, dialectician, dietitian, Domitian, edition, electrician, emission, fission, fruition, Hermitian, ignition, linguistician, logician, magician, mathematician, Mauritian, mechanician, metaphysician, mission, monition, mortician, munition, musician, obstetrician, omission, optician, paediatrician (US pediatrician), patrician, petition, Phoenician, physician, politician, position, rhetorician, sedition, statistician, suspicion, tactician, technician, theoretician, Titian, tuition, volition •addiction, affliction, benediction, constriction, conviction, crucifixion, depiction, dereliction, diction, eviction, fiction, friction, infliction, interdiction, jurisdiction, malediction, restriction, transfixion, valediction •distinction, extinction, intinction •ascription, circumscription, conscription, decryption, description, Egyptian, encryption, inscription, misdescription, prescription, subscription, superscription, transcription •proscription •concoction, decoction •adoption, option •abortion, apportion, caution, contortion, distortion, extortion, portion, proportion, retortion, torsion •auction •absorption, sorption •commotion, devotion, emotion, groschen, Laotian, locomotion, lotion, motion, notion, Nova Scotian, ocean, potion, promotion •ablution, absolution, allocution, attribution, circumlocution, circumvolution, Confucian, constitution, contribution, convolution, counter-revolution, destitution, dilution, diminution, distribution, electrocution, elocution, evolution, execution, institution, interlocution, irresolution, Lilliputian, locution, perlocution, persecution, pollution, prosecution, prostitution, restitution, retribution, Rosicrucian, solution, substitution, volution •cushion • resumption • München •pincushion •Belorussian, Prussian, Russian •abduction, conduction, construction, deduction, destruction, eduction, effluxion, induction, instruction, introduction, misconstruction, obstruction, production, reduction, ruction, seduction, suction, underproduction •avulsion, compulsion, convulsion, emulsion, expulsion, impulsion, propulsion, repulsion, revulsion •assumption, consumption, gumption, presumption •luncheon, scuncheon, truncheon •compunction, conjunction, dysfunction, expunction, function, junction, malfunction, multifunction, unction •abruption, corruption, disruption, eruption, interruption •T-junction • liposuction •animadversion, aspersion, assertion, aversion, Cistercian, coercion, conversion, desertion, disconcertion, dispersion, diversion, emersion, excursion, exertion, extroversion, immersion, incursion, insertion, interspersion, introversion, Persian, perversion, submersion, subversion, tertian, version •excerption