
	Where results make sense

Topic: Precondition

Related Topics

Design by contract

Dynamic typing

Static typing

Invariant (computer science)

Lars Knudsen

Alcohol dependence

Luther Blissett

Borough High Street

Assault rifle

Prince (artist)

American Gladiators

The Partridge Family

Niwot, Colorado

Burlington, North Carolina

Winamac, Indiana

In the News (Wed 11 Nov 09)

Northern Trust

Marvin Harrison

Peter Chernin

Gary Locke

Match Play

Penelope Cruz

Mickey Rourke

AR Rahman

Danny Boyle

Hugh Jackman

	precondition, condition. The Columbia Guide to Standard American English. 1993
		A precondition would be a requirement you must meet even before you meet the conditions, and that’s not the sort of thing intended at all.
		But in fact, although they are synonymous above, there are two differences between condition and precondition in some uses: (1) the pre- prefix adds emphasis and stresses more heavily the necessity that these requirements be satisfied first, and (2) the two words cannot always combine with the same prepositions for the same meanings.
		Precondition combines with of, for, and to: A precondition to [of, for] the purchase of a new house is finding a willing lender.
	www.bartleby.com /68/20/4720.html (174 words)

	Precondition@Everything2.com
		Many preconditions, such as the calling convention or correct data type for input parameters, may be enforced via a software development best practice such as coding to interfaces.
		However, other types of preconditions exist - often, software components are brittle because some simple candidates for preconditions (such as "the password cannot be an empty string") remain implicit, and the behavior of the component following a violation of that precondition is unspecified.
		Preconditions can be used to specify which inputs should be considered as valid, and fail fast when violated.
	www.everything2.com /index.pl?node=precondition (325 words)

	Precondition - Wikipedia, the free encyclopedia
		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 are sometimes tested using assertions within the code itself, and some languages have specific syntactic constructions for doing so.
	en.wikipedia.org /wiki/Precondition (197 words)

	Programming Notes - Program States
		If for all members of a precondition, an instance implies that the result state is a member of the postcondition, then the precondition is a subset of the weakest liberal precondition.
		The union of two preconditions is a sub-set of the precondition of the union.
		This theorem is analogous to property 4’ in which a functional change in program-states implies that the precondition of conjuctions is equivalent to the conjunction of preconditions.
	home.att.net /~p.konieczko/progstate4.html (782 words)

	Class utils.SavitchIn
		Precondition: The user has entered a number of type double on a line by itself, except that there may be white space before and/or after the number.
		Precondition: The user has entered a number of type float on a line by itself, except that there may be white space before and/or after the number.
		Precondition: The user has entered a number of type int on a line by itself, except that there may be white space before and/or after the number.
	www.fas.harvard.edu /~libe50a/utilsJavadoc/docs/utils.SavitchIn.html (1366 words)

	[No title]
		Preconditions are conditions that must be true prior to running a method.
		Where preconditions serve to let the caller of a method know when it's safe to call a method, postconditions let the caller of a method know what happens after the method has completed calling.
		Thus, the precondition is simply "true", meaning that there's nothing special required of the stack of the string sent as parameter.
	www.cs.umd.edu /class/fall2002/cmsc214/Projects/P1/proj1.contract.html (2067 words)

	Achtung! IIS7 Preconditions - Just Another IIS Blog
		The managedHandler precondition was introduced to allow optimizing the performance of requests where no managed code needs to be involved, for example when static files (.html,.jpg etc.) are served.
		The preconditions on the handlers section are usually the same as on globalModules and side-by-side of ASP.NET applications is also the major reason to have preconditions.
		The managedHandler precondition is false and the modules which have this precondition wouldn’t be loaded for /default.htm.
	blogs.iis.net /thomad/archive/2006/11/04/precondition-what.aspx (2309 words)

	NCATE - institutions - Preconditions
		Precondition #4, the conceptual framework, should be attached as one file, and the other preconditions should be attached as a separate file or files.
		Precondition #8 is considered met once the institution has submitted the required program reports.
		Once all preconditions are met, the institution is nominated as a formal candidate for NCATE accreditation by NCATE’s Unit Accreditation Board at its next meeting (March/April or October).
	www.ncate.org /institutions/preconditions.asp?ch=46 (2123 words)

	Programming Notes - Program States
		Thus the Weakest Precondition is the conjunction of liberal precondition and termination.
		The union of two preconditions is a subset of the precondition of the union.
		The weakest precondition corresponds to the set-relation concept of the condition.
	home.att.net /~p.konieczko/progstate6.html (777 words)

	[No title]
		Introduction RFC 3312 [3] defines the framework for SIP [2] preconditions, which is a generic framework that allows SIP UAs (User Agents) to suspend the establishment of a session until a set of preconditions are met.
		Precondition Type Tag New precondition types MUST have an associated precondition type tag (e.g., "qos" is the tag for QoS preconditions).
		Specifications defining new precondition types MUST describe whether or not optional preconditions are applicable, and in case they are, what is the expected behavior of a UA on reception of optional preconditions.
	www.ietf.org /rfc/rfc4032.txt (1933 words)

	Agent iSolutions - Language - Precondition (PRE) - Semantics
		A precondition is defined with one of four modifiers: known, knownval, unknown, or not.
		The reason that precondition order is important is that the simulation engine is not a standard pattern matcher, but actually evaluates the preconditions causing potential assignments of values to variables.
		The second precondition will be evaluated and the simulation engine tries to find the belief ‘John.car=car2’, it cannot find such a belief but due to the ‘not’ modifier the precondition will evaluate to true causing the frame to be made available.
	www.agentisolutions.com /documentation/language/ls_pre_sem.htm (1601 words)

	Department of Music Education
		Precondition 1: The institution recognizes and identifies a professional education unit that has responsibilities and authority for the preparation of teachers and other professional education personnel.
		Precondition 2: A dean, director, or chair is officially designated as head of the unit and is assigned the authority and responsibility for its overall administration and operation.
		Precondition 4: The unit has a well-developed conceptual framework that establishes the shared vision for a unit's efforts in preparing educators to work in P-12 schools and provides direction for programs, courses, teaching, candidate performance, scholarship, service and unit accountability.
	www.oberlin.edu /musiced/preconditions.html (251 words)

	NCATE - institutions - Home Page
		This precondition applies to all NCATE institutions - precandidates, candidates and accredited - located in states that have a state required pass rate.
		The precondition is based on the pass rate that the individual states require. The "80 percent rule" applies only to content examinations that are required for Standard 1..
		The precondition is based on the pass rate that the individual states require. The "80 percent rule" applies only to content examinations.
	www.ncate.org /institutions/testScores.asp (3735 words)

	A Petition Seeking to Establish the Separation of Religion from the State as a Precondition for True Democracy in the ...
		Separations of religion from state and religious freedom for all individuals are preconditions for true democracy in the Middle East.
		We, therefore, urge the European Parliament to establish the separation of the rule of religion from the state as a pre-condition and measurement for the recognition of true democratic reform in the Middle East.
		The A Petition Seeking to Establish the Separation of Religion from the State as a Precondition for True Democracy in the Middle East Petition to European Parliament was created by Coalition for the Defense of Human Rights and written by Fr.
	new.petitiononline.com /CDHREU/petition.html (371 words)

	The Free Software Definition - Free Software Foundation
		The freedom to study how the program works, and adapt it to your needs (freedom 1).
		Access to the source code is a precondition for this.
		The freedom to improve the program, and release your improvements to the public, so that the whole community benefits (freedom 3).
	www.fsf.org /licensing/essays/free-sw.html (1378 words)

	Proposal to add Contract Programming to C++ (revision 2)
		The precondition should be evaluated first to allow it to report its errors first.
		Remark: A compiler might be able to determine that the precondition is satisfied, in that case the compiler may generate a call directly to the function body (thus sharing implementation with the function pointer call).
		If weaker preconditions should be allowed, then there exists two alternatives: to allow reuse of an existing contract or to require a complete redefinition.
	www.open-std.org /jtc1/sc22/wg21/docs/papers/2005/n1773.html (2062 words)

	Re: [Zope] Precondition
		Precondition Allows you to specify a precondition for the File.
		A precondition is a method or document which is executed before the File is viewed or downloaded.
		If the precondition raises an exception then the File cannot be viewed.
	www.mail-archive.com /zope@zope.org/msg05539.html (210 words)

	Selective Service System: Fast Facts
		The other requires registration as a precondition for state employment and was signed by Gov. Kirk Fordice in 1999.
		On March 19, 2002, Gov. Ronnie Musgrove signed a law requiring Mississippi men to be registered with the SSS as a condition for obtaining a state driver's license.
		The other requires registration as a precondition for state employment and was signed by Gov. Gilmore April 5, 1999.
	www.sss.gov /FSstateleg.htm (2642 words)

	The Ariane 5 explosion: a software engineer’s view by Robert L. Baber
		Such restrictions on input values (preconditions for subprograms) were, however, neither systematically derived, documented nor followed back to determine corresponding restrictions on other values computed earlier [1].
		An ordinary precondition (one which does not necessarily guarantee the successful execution of the assignment statement) can be found by applying the well known proof rule for an assignment statement.
		Just before the end of the flight of the Ariane 5 the conversion routine was, clearly, executed with a value of x which violated this precondition, leading ultimately to the destruction of the vehicle and the failure of the mission.
	www.cas.mcmaster.ca /~baber/TechnicalReports/Ariane5/Ariane5.htm (679 words)

	Iran Rejects Uranium Enrichment Freeze as Precondition for Talks
		Javad Vaeedi told a political forum in Vienna that Iran considers the suspension of uranium enrichment to be neither a precondition for those talks nor a possible outcome of those talks.
		Suspending enrichment is a precondition for talks being offered by Britain, France and Germany along with the United States.
		Their plan is believed to offer support for civilian nuclear power and an easing of some trade restrictions in exchange for Iran suspending uranium enrichment and returning to talks on broader U.N. inspections.
	www.voanews.com /english/2006-06-23-voa32.cfm (454 words)

	A Weakest Precondition Calculus for Analysis of Cryptographic Protocols (Site not responding. Last check: )
		This paper present a new approach for the use of belief logics in the analysis of cryptographic protocols.
		This new approach is based on the concept of the weakest precondition calculus.
		It generates the necessary preconditions of a protocol, based on the protocol operations and desired goals.
	dimacs.rutgers.edu /Workshops/Security/program2/alvesfoss/index.html (136 words)

	CADiZ: weaken precondition (Site not responding. Last check: )
		This command is part of the experimental refinement editor.
		The new precondition is entered into a dialogue box using the syntax of a Z predicate.
		The new precondition is typechecked in the environment of the inspected specification statement.
	www-users.cs.york.ac.uk /~ian/cadiz/weaken.html (107 words)

	The Suspension Precondition for Negotiations (Site not responding. Last check: )
		As the P5 + 1 discuss the fact that Iran has not yet responded to the June 6 proposal, media coverage has lost sight of the centrality of the proposal’s precondition for talks in the present diplomatic conflict.
		That precondition is at the same time the essence of the dispute, because the negotiations themselves are about whether or not
		The record of the EU-Iranian negotiations suggests that it is difficult to find common ground when the precondition is so central to the main issue in the negotiations.
	www.niacouncil.org /pressreleases/press400.asp (1182 words)

	412 Precondition failed error \| drupal.org
		Through a process of elimination I suspected that both the complainant PC's were infected with a form of adware.
		The main indicator were links to foreign sites on the screen listing 'Precondition Failed' that were not originating from my Drupal based site.
		Upon further investigation it turned out that the scripts loaded by the Bad-Behaviour module was (correctly) responsible for generating the '412 Precondition Failed' error message.
	drupal.org /node/60077 (554 words)

	Re: [Zope] Precondition
		A precondition is a > method or document which is executed before the File is viewed or > downloaded.
		If the precondition raises an exception then the File cannot > be viewed.
		Then I looked at an Image (I had no File objects handy), and when I saw that the help tab for the Edit, page had no description of precondition, and indeed that there was no way to set it, I figured the docs for it must only be in the API section.
	www.mail-archive.com /zope@zope.org/msg05545.html (213 words)

	TextDrive Community Forum / 412 Precondition Failed with Lighttpd
		The precondition on the request for the URL /albums/edit_details/7 evaluated to false.
		The recently-released version 1.9 of mod_security has a whole bunch of new features, including the ability to override specific rules, and looks pretty cool.
		I've had several people tell me their site was broken because they were getting these mysterious precondition failed errors.
	forum.textdrive.com /viewtopic.php?id=6894 (941 words)

	YaBB Chat and Support Community - Precondition Failed error (Site not responding. Last check: )
		The precondition on the request for the URL /cgi-bin/yabb/YaBB.cgi evaluated to false.
		The Web server is looking for a “precondition” specification in your browser’s HTTP data.
		The Web server determined that the required precondition was not met and returned a 412 error.
	www.yabbforum.com /community/YaBB.pl?num=1135241803 (232 words)

	precondition - OneLook Dictionary Search
		precondition : The American Heritage® Dictionary of the English Language [home, info]
		Precondition : Online Plain Text English Dictionary [home, info]
		Words similar to precondition: condition, given, preconditioned, preconditioning, presumption, presupposition, stipulation, more...
	www.onelook.com /?w=precondition (193 words)

	: Class Precondition
		Update the precondition when the method is completed
		Returns a textual version of the precondition Debugging purpose
		Returns a textual Taems version of the precondition
	mas.cs.umass.edu /research/mass/api/taems/taems/Precondition.html (136 words)

	Filemanager and attachment - 412 Precondition Failed \| drupal.org
		The precondition on the request for the URL /node/36/edit evaluated to false.
		On one site a single user complains about a "Precondition Failed" error that continuously prevents that user from uploading images in the AcidFree module.
		I have solved the precondition failed errors experienced as described in this post:
	drupal.org /node/40612 (202 words)

	precondition
		(precondition proc1 proc2) means that proc2 can exist or be true only if proc1 exists or is true.
		See more related synsets on a separate page.
		(=> (precondition ?PROC1 ?PROC2) (=> (exists (?INST2) (instance ?INST2 ?PROC2)) (exists (?INST1) (instance ?INST1 ?PROC1))))
	virtual.cvut.cz /kifb/it/concepts/precondition.html (64 words)

Try your search on: Qwika (all wikis)