Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Postcondition> ?p ?o. }
Showing items 1 to 33 of
33
with 100 items per page.
- Postcondition abstract "In computer programming, a postcondition is a condition or predicate that must always be true just after the execution of some section of code or after an operation in a formal specification. Postconditions are sometimes tested using assertions within the code itself. Often, postconditions are simply included in the documentation of the affected section of code.For example: The result of a factorial is always an integer and greater than or equal to 1. So a program that calculates the factorial of an input number would have postconditions that the result after the calculation be an integer and that it be greater than or equal to 1. Another example: a program that calculates the square root of an input number might have the postconditions that the result be a number and that its square be equal to the input .".
- Postcondition wikiPageID "39291".
- Postcondition wikiPageRevisionID "600505682".
- Postcondition hasPhotoCollection Postcondition.
- Postcondition subject Category:Formal_methods.
- Postcondition subject Category:Logic_in_computer_science.
- Postcondition subject Category:Mathematics_of_computing.
- Postcondition subject Category:Programming_constructs.
- Postcondition type Ability105616246.
- Postcondition type Abstraction100002137.
- Postcondition type Cognition100023271.
- Postcondition type Concept105835747.
- Postcondition type Content105809192.
- Postcondition type FormalMethods.
- Postcondition type Idea105833840.
- Postcondition type Know-how105616786.
- Postcondition type Method105660268.
- Postcondition type ProgrammingConstructs.
- Postcondition type PsychologicalFeature100023100.
- Postcondition comment "In computer programming, a postcondition is a condition or predicate that must always be true just after the execution of some section of code or after an operation in a formal specification. Postconditions are sometimes tested using assertions within the code itself. Often, postconditions are simply included in the documentation of the affected section of code.For example: The result of a factorial is always an integer and greater than or equal to 1.".
- Postcondition label "Nachbedingung (Informatik)".
- Postcondition label "Postcondición".
- Postcondition label "Postcondition".
- Postcondition label "Postcondizione".
- Postcondition sameAs Nachbedingung_(Informatik).
- Postcondition sameAs Postcondición.
- Postcondition sameAs Postcondizione.
- Postcondition sameAs m.09sl8.
- Postcondition sameAs Q360690.
- Postcondition sameAs Q360690.
- Postcondition sameAs Postcondition.
- Postcondition wasDerivedFrom Postcondition?oldid=600505682.
- Postcondition isPrimaryTopicOf Postcondition.