correctness

(redirected from Correctness proof)
Also found in: Thesaurus, Legal.

cor·rect

 (kə-rĕkt′)
v. cor·rect·ed, cor·rect·ing, cor·rects
v.tr.
1.
a. To make or put right: correct a mistake; correct a misunderstanding.
b. To remove the errors or mistakes from: corrected her previous testimony.
c. To indicate or mark the errors in: correct an exam.
2.
a. To speak to or communicate with (someone) in order to point out a mistake or error.
b. To scold or punish so as to improve or reform.
3. To remedy or counteract (a defect, for example): The new glasses corrected his blurry vision.
4. To adjust so as to meet a required standard or condition: correct the wheel alignment on a car.
v.intr.
1. To make corrections.
2. To make adjustments; compensate: correcting for the effects of air resistance.
adj.
1. Free from error or fault; true or accurate.
2. Conforming to standards; proper: correct behavior.

[Middle English correcten, from Latin corrigere, corrēct- : com-, intensive pref.; see com- + regere, to rule; see reg- in Indo-European roots.]

cor·rect′a·ble, cor·rect′i·ble adj.
cor·rect′ly adv.
cor·rect′ness n.
cor·rec′tor n.
Synonyms: correct, rectify, remedy, redress, revise, amend
These verbs mean to make right what is wrong. Correct refers to eliminating faults, errors, or defects: I corrected the spelling mistakes. The new design corrected the flaws in the earlier version.
Rectify stresses the idea of bringing something into conformity with a standard of what is right: "It is dishonest to claim that we can rectify racial injustice without immediate cost" (Mari J. Matsuda).
Remedy involves removing or counteracting something considered a cause of harm, damage, or discontent: He took courses to remedy his abysmal ignorance.
Redress refers to setting right something considered immoral or unethical and usually involves some kind of recompense: "They said he had done very little to redress the abuses that the army had committed against the civilian population" (Daniel Wilkinson).
Revise suggests change that results from careful reconsideration: The agency revised its safety recommendations in view of the new findings.
Amend implies improvement through alteration or correction: "Whenever [the people] shall grow weary of the existing government, they can exercise their constitutional right of amending it, or their revolutionary right to dismember or overthrow it" (Abraham Lincoln).

Correctness

 

See Also: TRUENESS/FALSENESS, MANNERS, REPUTATION

  1. Accurate as a hole in one —Anon

    See Also: GOLF

  2. Accurately as a geometrician —V. S. Pritchett
  3. As scrupulous as a well-trained tailor —Robert Penn Warren
  4. Exact as a blueprint —Anon
  5. Exact as the technical jargon of a trade —Aldous Huxley
  6. More exacting than a pasha with thirty wives —Guy de Maupassant
  7. Proper as a butler —Charles Simmons
  8. Respectable as Jane Austen —Marge Piercy
  9. Right as a well-done sum —Sylvia Plath

Correctness

 

(See also PRECISION, PROPRIETY.)

get hold of the right end of the stick To have the proper grasp or perspective on a situation. The expression is more common in Britain than in the United States. See also get hold of the wrong end of the Stick, FALLACIOUSNESS.

hit the white To be right, to be right on target, to hit the bull’s-eye. The allusion is to archery and the inner circle of the target or the bull’s-eye, formerly of a white color. Since bull’s-eyes are now usually painted or outlined in black, it is easy to see why this expression is rare or obsolete today.

’Twas I won the wager, though you hit the white. (Shakespeare, The Taming of the Shrew, V, ii)

on the beam On the right track; correct; accurate. The reference is to a radio beam used to direct the course of an aircraft. Thus, an airplane on the beam is right on the proper course. The phrase appeared as early as 1941 in the Daring Detective.

right as a trivet See GOOD HEALTH.

right as rain Very right, exactly correct or accurate, quite right. This simile, although not as common today as formerly, is still popularly used to emphasize degree of correctness. Its origin would appear to be simply from alliteration.

ThesaurusAntonymsRelated WordsSynonymsLegend:
Noun1.correctness - conformity to fact or truth
quality - an essential and distinguishing attribute of something or someone; "the quality of mercy is not strained"--Shakespeare
incorrectness, wrongness - the quality of not conforming to fact or truth
2.correctness - the quality of conformity to social expectations
correctitude, properness, propriety - correct or appropriate behavior
faultlessness, impeccability - the quality of being without an error or fault
political correctitude, political correctness - avoidance of expressions or actions that can be perceived to exclude or marginalize or insult people who are socially disadvantaged or discriminated against
incorrectness - lack of conformity to social expectations

correctness

noun
1. truth, accuracy, precision, exactitude, exactness, faultlessness Please check the correctness of the details on this form.
2. decorum, propriety, good manners, civility, good breeding, bon ton (French) He conducted himself with formal correctness at all times.

correctness

noun
2. Correspondence with fact or truth:
3. Conformity to recognized standards, as of conduct or appearance:
Translations
صِحَّـه
správnost
korrekthedrigtighed
kifogástalanság
réttleiki
doğrulukyanlışsızlık

correctness

[kəˈrektnɪs] N
1. (= accuracy) [of answer, amount, term, calculation] → exactitud f
2. (= appropriateness) [of method, approach] → lo apropiado, lo adecuado
3. (= decency) [of person, behaviour, dress] → corrección f

correctness

[kəˈrɛktnɪs] n
(= accuracy) → justesse f, exactitude f
(= formality) [behaviour] → correction f

correctness

n
(= accuracy)Richtigkeit f
(of behaviour etc)Korrektheit f

correctness

[kəˈrɛktnɪs] ncorrettezza

correct

(kəˈrekt) verb
1. to remove faults and errors from. These spectacles will correct his eye defect.
2. (of a teacher etc) to mark errors in. I have fourteen exercise books to correct.
adjective
1. free from faults or errors. This sum is correct.
2. right; not wrong. Did I get the correct idea from what you said?; You are quite correct.
corˈrection (-ʃən) noun
corˈrective (-tiv) adjective
setting right. corrective treatment.
corˈrectly adverb
corˈrectness noun
References in periodicals archive ?
It consists of correctness proof, security analysis, performance analysis.
Topics include a distributed knowledge authorization language, automated verification of remote electronic voting protocols, a correctness proof of a mesh security architecture, refinement types for secure implementations, and security decision making among interdependent organizations.
Thus, the correctness proof of the algorithm with the enhancement follows directly from the proof of the original code in Section 5.
Also, Herlihy [1984] extends Gifford's algorithm to accommodate abstract data types and offers a correctness proof.
We found the algorithm interesting, but its presentation lacking in several ways: no correctness proof is given (only some general observations about properties of program sections); the program displays avoidable use of the goto construct where it is possible to use repetitions with nice invariants; and finally--although, perhaps the authors are not to be blamed for this--the program text contained many printing errors.
To establish adequate confidence in a program by th is methodology, one moves out of the frying pan of questions about the program's correctness and into the fire of an even more real-world unmanageable correctness proof.