precondition
pre·con·di·tion / ˌprēkənˈdishən/ • n. a condition that must be fulfilled before other things can happen or be done: a precondition for peace.• v. [tr.] 1. (usu. be preconditioned) condition (an action) to happen in a certain way: inquiries are always preconditioned by cultural assumptions. ∎ condition or influence (a person or animal) by exposing them to stimuli or information prior to the relevant behavioral situation: [tr.] the anthropologist is not preconditioned to interact with those he studies | [as n.] (preconditioning) the protective effect of preconditioning. 2. bring (something) into the desired state for use: [as adj.] (preconditioned) preconditioned paper.
precondition
precondition of a statement S in some program. An assertion that characterizes the state of the program immediately prior to execution of S. The precondition is expressed in terms of properties of certain program variables and relationships between them. Where a program text is annotated by attaching assertions, a precondition is attached immediately before the statement to which it relates. For a consistent annotation the precondition of S must be implied by the postcondition of any statement whose execution can immediately precede execution of S. See also weakest precondition.
More From encyclopedia.com
Edison , Edison A programming language for designing reliable real-time programs for multiprocessor systems. Edison is block-structured and includes modules,… Computer Program , pro·gram / ˈprōˌgram; -grəm/ (Brit. pro·gramme) • n. 1. a planned series of future events, items, or performances: a weekly program of films the prog… statement , state·ment / ˈstātmənt/ • n. a definite or clear expression of something in speech or writing: do you agree with this statement? this is correct as a… CONDITION , con·di·tion / kənˈdishən/ • n. 1. the state of something, esp. with regard to its appearance, quality, or working order: the wiring is in good condit… Verification , The term "verification" concerns statements or theories. Since a theory can be formulated as a conjunction of hypotheses, and therefore as a single s… Induction (logic) , In mathematics, induction is a technique for proving certain types of mathematical statements. The induction principle can be illustrated by arrangin…
About this article
precondition
All Sources -
You Might Also Like
NEARBY TERMS
precondition