This article is about the computer programming concept. For the legal term, see sine qua non. For other uses, see Preconditioning (disambiguation).
This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources. Find sources: "Precondition" – news · newspapers · books · scholar · JSTOR(September 2010)
In computer programming, a precondition is a condition or predicate that must always be true just prior to the execution of some section of code or before an operation in a formal specification.
If a precondition is violated, the effect of the section of code becomes undefined and thus may or may not carry out its intended work. Preconditions that are missing, insufficient, or not formally proved (or have an incorrect attempted proof), or are not checked statically or dynamically, can give rise to Security problems, particularly in unsafe languages that are not strongly typed.
Often, preconditions are simply included in the documentation of the affected section of code. Preconditions are sometimes tested using guards or assertions within the code itself, and some languages have specific syntactic constructions for doing so.
In computer programming, a precondition is a condition or predicate that must always be true just prior to the execution of some section of code or before...
In mathematics, preconditioning is the application of a transformation, called the preconditioner, that conditions a given problem into a form that is...
Ischemic preconditioning (IPC) is an experimental technique for producing resistance to the loss of blood supply, and thus oxygen, to tissues of many...
weakest-preconditions, or runs forward in the case of strongest-postconditions. For a statement S and a postcondition R, a weakest precondition is a predicate...
required by the requested resource. 412 Precondition Failed The server does not meet one of the preconditions that the requester put on the request header...
sophisticated preconditioners are used, which may lead to variable preconditioning, changing between iterations. Even if the preconditioner is symmetric...
A Creative Commons (CC) license is one of several public copyright licenses that enable the free distribution of an otherwise copyrighted "work". A CC...
ratified on 8 February by the Greek parliament, thus completing all the preconditions for putting into force the Prespa agreement. Subsequently, on 12 February...
components, which extend the ordinary definition of abstract data types with preconditions, postconditions and invariants. These specifications are referred to...
democracy. People with a humanist worldview maintain religion is not a precondition of morality, and object to excessive religious entanglement with education...
the Muslim onslaught came. Even on the eve of its final collapse, the precondition for any Western help was submission in Florence. Klyuchevsky, Vasily...
unconscious memories of sexual molestation in early childhood were a necessary precondition for psychoneuroses (hysteria and obsessional neurosis), a formulation...
demanded "the just predominance of the white race" in South Africa as a precondition for the Boer republics unifying with the British Empire. In 1905 the...
16) Kaplan et al. (2004), p. 26. "Early cities also reflected these preconditions in that they served as places where agricultural surpluses were stored...
no discussion of the case of Jerusalem, no negotiations under any preconditions. In 1997, Netanyahu authorized a Mossad operation to assassinate Hamas...
hung assembly, RJD's dependence on the Congress extended support on the precondition that RJD would not pose a hurdle to the passage of the Bihar reorganisation...
in retroflex consonants; alveolarity of the pronunciation of /r/ is a precondition for this retroflexion. /r/ has a guttural or "French R" pronunciation...
principle of State Immunity is to be answered in accordance with the preconditions set by the UN Convention as an expression of common principles of International...
only safeguard for Muslim interests throughout India and had to be the precondition for any advance at the center. So he exhorted all Indian Muslims to unite...
India or Pakistan, only after Pakistan withdrew its army from Kashmir. A precondition to the resolution was for Pakistan and India to return to a state of...
Global Information