Precondition
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. Security problems can arise due to incorrect preconditions.
Wikipage redirect
Advertised requirementAssertion (software development)Assertion definition languageAxiomatic semanticsBehavioral subtypingClass invariantClassification Tree MethodDafnyDefensive programmingDesign by contractEiffel (programming language)Extended static checkingFail-fastFormal methodsGOAL agent programming languageGlossary of artificial intelligenceGlossary of computer scienceGuard (computer science)Guarded suspensionHoare logicHuman rights and encryptionJapan–Taiwan relationsJava Modeling LanguageJohnson's ruleLinear time propertyLiskov substitution principleList of tools for static code analysisMALPAS Software Static Analysis ToolsetMethod overridingMicrosoft and open sourceOak (programming language)ParaSail (programming language)PostconditionPraspelPre-conditionPreconditioning (disambiguation)PreconditionsPredicate transformer semanticsPython syntax and semanticsQualification problem
Link from a Wikipage to another Wikipage
primaryTopic
Precondition
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. Security problems can arise due to incorrect preconditions.
has abstract
Die Vorbedingung einer Funktio ...... s gesamte Programm zu folgern.
@de
In computer programming, a pre ...... greater than or equal to zero.
@en
In informatica, in particolare ...... sia maggiore o uguale a zero.
@it
Una precondición es una condic ...... ondición del método factorial.
@es
Une précondition est une condi ...... tant d'en valider le résultat.
@fr
在计算机编程中,先决条件或先验条件指在执行一段代码前必须成立 ...... 定输入的值是一个整数,并且它大于等于零,这就是一个先决条件。
@zh
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
957,517,624
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
hypernym
type
comment
Die Vorbedingung einer Funktio ...... st das Programm nicht korrekt.
@de
In computer programming, a pre ...... ue to incorrect preconditions.
@en
In informatica, in particolare ...... ri maggiori o uguali a zero. Q
@it
Una precondición es una condic ...... el, por ejemplo, quedaría así:
@es
Une précondition est une condi ...... tant d'en valider le résultat.
@fr
在计算机编程中,先决条件或先验条件指在执行一段代码前必须成立 ...... 定输入的值是一个整数,并且它大于等于零,这就是一个先决条件。
@zh
label
Precondición
@es
Precondition
@en
Precondizione
@it
Précondition
@fr
Vorbedingung (Informatik)
@de
Передумова (формальні методи)
@uk
先决条件
@zh