Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Postcondition> ?p ?o }
Showing triples 1 to 53 of
53
with 100 triples 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 wikiPageLength "3660".
- Postcondition wikiPageOutDegree "22".
- Postcondition wikiPageRevisionID "611984582".
- Postcondition wikiPageWikiLink Assertion_(computing).
- Postcondition wikiPageWikiLink Assertion_(software_development).
- Postcondition wikiPageWikiLink Category:Articles_with_example_Eiffel_code.
- Postcondition wikiPageWikiLink Category:Formal_methods.
- Postcondition wikiPageWikiLink Category:Logic_in_computer_science.
- Postcondition wikiPageWikiLink Category:Mathematics_of_computing.
- Postcondition wikiPageWikiLink Category:Programming_constructs.
- Postcondition wikiPageWikiLink Computer_programming.
- Postcondition wikiPageWikiLink Database_trigger.
- Postcondition wikiPageWikiLink Design_by_contract.
- Postcondition wikiPageWikiLink Eiffel_(programming_language).
- Postcondition wikiPageWikiLink Factorial.
- Postcondition wikiPageWikiLink Formal_specification.
- Postcondition wikiPageWikiLink Hoare_logic.
- Postcondition wikiPageWikiLink Invariant_(computer_science).
- Postcondition wikiPageWikiLink Precondition.
- Postcondition wikiPageWikiLink Predicate_(mathematical_logic).
- Postcondition wikiPageWikiLink Predicate_(mathematics).
- Postcondition wikiPageWikiLink Square_(algebra).
- Postcondition wikiPageWikiLink Square_root.
- Postcondition wikiPageWikiLinkText "Postcondition".
- Postcondition wikiPageWikiLinkText "post-condition".
- Postcondition wikiPageWikiLinkText "post-conditions".
- Postcondition wikiPageWikiLinkText "postcondition".
- Postcondition hasPhotoCollection Postcondition.
- Postcondition wikiPageUsesTemplate Template:Reflist.
- Postcondition subject Category:Articles_with_example_Eiffel_code.
- Postcondition subject Category:Formal_methods.
- Postcondition subject Category:Logic_in_computer_science.
- Postcondition subject Category:Mathematics_of_computing.
- Postcondition subject Category:Programming_constructs.
- Postcondition hypernym Condition.
- Postcondition type Area.
- Postcondition type Disease.
- Postcondition type Area.
- Postcondition type Concept.
- Postcondition type Method.
- 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 "Postcondition".
- Postcondition sameAs Nachbedingung_(Informatik).
- Postcondition sameAs Postcondición.
- Postcondition sameAs Postcondizione.
- Postcondition sameAs m.09sl8.
- Postcondition sameAs Післяумова_(формальні_методи).
- Postcondition sameAs Q360690.
- Postcondition sameAs Q360690.
- Postcondition wasDerivedFrom Postcondition?oldid=611984582.
- Postcondition isPrimaryTopicOf Postcondition.