1 free from error; especially conforming to fact or truth; "the correct answer"; "the correct version"; "the right answer"; "took the right road"; "the right decision" [syn: right] [ant: incorrect, incorrect]
2 socially right or correct; "it isn't right to leave the party without saying goodbye"; "correct behavior" [syn: right]
3 in accord with accepted standards of usage or procedure; "what's the right word for this?"; "the right way to open oysters" [syn: right]
1 make right or correct; "Correct the mistakes"; "rectify the calculation" [syn: rectify, right] [ant: falsify]
2 make reparations or amends for; "right a wrongs done to the victims of the Holocaust" [syn: right, compensate, redress] [ant: wrong]
3 censure severely; "She chastised him for his insensitive remarks" [syn: chastise, castigate, objurgate, chasten]
4 adjust or make up for; "engineers will work to correct the effects or air resistance" [syn: compensate, counterbalance, even out, even off, even up]
5 punish in order to gain control or enforce obedience; "The teacher disciplined the pupils rather frequently" [syn: discipline, sort out]
7 alter or regulate so as to achieve accuracy or conform to a standard; "Adjust the clock, please"; "correct the alignment of the front wheels" [syn: adjust, set]
8 treat a defect; "The new contact lenses will correct for his myopia"
- Free from error; true; the state of having an affirmed truth.
- With good manners; well behaved; conforming with accepted standards of behaviour,
In theoretical computer science, correctness of an algorithm is asserted when it is said that the algorithm is correct with respect to a specification. Functional correctness refers to the input-output behaviour of the algorithm (i.e., for each input it produces the correct output). See also program verification.
A distinction is made between total correctness, which additionally requires that the algorithm terminates, and partial correctness, which simply requires that if an answer is returned it will be correct. Since there is no general solution to the halting problem, a total correctness assertion may lie much deeper.
For example, if we are successively searching through integers 1, 2, 3, … to see if we can find an example of some phenomenon — say an odd perfect number — it is quite easy to write a partially correct program (use integer factorization to check n as perfect or not). But to say this program is totally correct would be to assert something currently not known in number theory.
A proof would have to be a mathematical proof, assuming both the algorithm and specification are given formally. In particular it is not expected to be a correctness assertion for a given program implementing the algorithm on a given machine. That would involve such considerations as limitations on memory.
A deep result in proof theory, the Curry-Howard correspondence, states that a proof of functional correctness in constructive logic corresponds to a certain program in the lambda calculus. Converting a proof in this way is called program extraction.
In auditing, correctness is one of the financial statement assertions that has to be ensured. For example, an auditor has to ensure a transaction is correctly recorded in the books. For recording a purchase, he or she has to check the posting to accounts payable and purchase account, gross amount, amount of discount received from supplier.
See also: Murray Dougall
correct in German: Korrektheit (Informatik)
correct in Japanese: 正当性 (計算機科学)
Christian, OK, absolute, accepted, accommodate, accommodate with, accord, according to Hoyle, accurate, acknowledged, adapt, adapt to, adjectival, adjust, adjust to, admitted, admonish, adverbial, agree with, all right, ameliorate, amend, annul, appropriate, approved, apt, assimilate to, attentive, attributive, authentic, authoritative, awaken, be guided by, becoming, befitting, being done, bend, berate, better, blame, blue-pencil, break the spell, bring to account, bring to book, burst the bubble, call to account, cancel, canonical, careful, castigate, censure, change, chasten, chastise, chide, chime in with, close, comely, comme il faut, compensate, comply, comply with, compose, condign, conform, conformable, conforming, conjunctive, conscientious, conventional, copulative, correspond, counteract, counterbalance, critical, cure, customary, de rigueur, dead right, deal with, debunk, decent, decorous, delicate, demanding, detailed, disabuse, disappoint, discipline, disenchant, disillude, disillusion, disillusionize, done, due, edit, emend, emendate, enlighten, established, evangelical, exact, exacting, exigent, expose, exquisite, factual, faithful, fall in with, faultless, felicitous, fine, finical, finicking, finicky, firm, fit, fitting, fix, flawless, follow, formal, functional, fussy, gear to, give satisfaction, glossematic, go by, good, good-mannered, grade, grammatic, happy, harmonize, have words with, impeccable, improve, in order, inflict upon, inspired, intransitive, just, just right, kosher, lecture, let down easy, let in on, letter-perfect, linking, literal, make all square, make conform, make good, make over, make right, make up for, mannerly, mark, masthead, meet, mend, meticulous, minute, modify, mold, narrow, natural, neutralize, nice, nominal, normal, normative, nullify, objurgate, observe, of the faith, offset, okay, orthodox, orthodoxical, participial, particular, pay reparations, penalize, perfect, pillory, postpositional, precise, precisianistic, precisionistic, prepositional, prick the bubble, pronominal, proper, punctilious, punctual, punish, put right, put straight, put to rights, rate, rebuke, received, recense, recognized, recompense, reconcile, rectify, redact, redraft, redress, refined, reform, regulate, religious, remedy, remunerate, repair, reprehend, reprimand, reprove, requite, revamp, reverse, revise, rework, rewrite, right, right and proper, righteous, rightful, rigid, rigorous, rub off corners, scold, scriptural, scrupulous, scrutinizing, seemly, set, set down, set right, set straight, set to rights, set up, settle, settle with, shape, show up, sound, spank, square accounts, standard, straight, straight-up-and-down, straighten, straighten out, strict, structural, substantive, subtle, suit, suitable, syntactic, tagmemic, take down, take to task, tally with, tell the truth, textual, traditional, traditionalistic, transitive, true, true-blue, unblindfold, uncharm, undeceive, undistorted, unimpeachable, unspell, upbraid, usual, valid, veracious, verbal, veridical, vigorous, visit upon, wake up, well-behaved, well-chosen, well-expressed, well-mannered, well-put, well-spoken, work over, yield