Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Invariant_(computer_science)> ?p ?o }
Showing triples 1 to 61 of
61
with 100 triples per page.
- Invariant_(computer_science) abstract "In computer science, an invariant is a condition that can be relied upon to be true during execution of a program, or during some portion of it. It is a logical assertion that is held to always be true during a certain phase of execution. For example, a loop invariant is a condition that is true at the beginning and end of every execution of a loop.".
- Invariant_(computer_science) wikiPageExternalLink index.html.
- Invariant_(computer_science) wikiPageID "1126643".
- Invariant_(computer_science) wikiPageLength "6828".
- Invariant_(computer_science) wikiPageOutDegree "23".
- Invariant_(computer_science) wikiPageRevisionID "678348979".
- Invariant_(computer_science) wikiPageWikiLink Abstract_interpretation.
- Invariant_(computer_science) wikiPageWikiLink Assertion_(computing).
- Invariant_(computer_science) wikiPageWikiLink Assertion_(software_development).
- Invariant_(computer_science) wikiPageWikiLink Category:Computer_programming.
- Invariant_(computer_science) wikiPageWikiLink Category:Formal_methods.
- Invariant_(computer_science) wikiPageWikiLink Class_invariant.
- Invariant_(computer_science) wikiPageWikiLink Computer_science.
- Invariant_(computer_science) wikiPageWikiLink Const_(computer_programming).
- Invariant_(computer_science) wikiPageWikiLink Const_correctness.
- Invariant_(computer_science) wikiPageWikiLink Correctness_(computer_science).
- Invariant_(computer_science) wikiPageWikiLink Design_by_contract.
- Invariant_(computer_science) wikiPageWikiLink Formal_methods.
- Invariant_(computer_science) wikiPageWikiLink Hans_Zantema.
- Invariant_(computer_science) wikiPageWikiLink Hoare_logic.
- Invariant_(computer_science) wikiPageWikiLink Logical_assertion.
- Invariant_(computer_science) wikiPageWikiLink Loop_invariant.
- Invariant_(computer_science) wikiPageWikiLink MU_puzzle.
- Invariant_(computer_science) wikiPageWikiLink Object-oriented_programming.
- Invariant_(computer_science) wikiPageWikiLink Object_oriented.
- Invariant_(computer_science) wikiPageWikiLink Optimizing_compiler.
- Invariant_(computer_science) wikiPageWikiLink Predicate_(mathematical_logic).
- Invariant_(computer_science) wikiPageWikiLink Program_correctness.
- Invariant_(computer_science) wikiPageWikiLink Programming_language.
- Invariant_(computer_science) wikiPageWikiLinkText "Invariant (computer science)".
- Invariant_(computer_science) wikiPageWikiLinkText "Invariant".
- Invariant_(computer_science) wikiPageWikiLinkText "Invariants".
- Invariant_(computer_science) wikiPageWikiLinkText "invariance properties".
- Invariant_(computer_science) wikiPageWikiLinkText "invariance".
- Invariant_(computer_science) wikiPageWikiLinkText "invariant property".
- Invariant_(computer_science) wikiPageWikiLinkText "invariant".
- Invariant_(computer_science) wikiPageWikiLinkText "invariants of programs".
- Invariant_(computer_science) wikiPageWikiLinkText "invariants".
- Invariant_(computer_science) hasPhotoCollection Invariant_(computer_science).
- Invariant_(computer_science) wikiPageUsesTemplate Template:More_footnotes.
- Invariant_(computer_science) wikiPageUsesTemplate Template:Reflist.
- Invariant_(computer_science) subject Category:Computer_programming.
- Invariant_(computer_science) subject Category:Formal_methods.
- Invariant_(computer_science) hypernym Condition.
- Invariant_(computer_science) type Disease.
- Invariant_(computer_science) comment "In computer science, an invariant is a condition that can be relied upon to be true during execution of a program, or during some portion of it. It is a logical assertion that is held to always be true during a certain phase of execution. For example, a loop invariant is a condition that is true at the beginning and end of every execution of a loop.".
- Invariant_(computer_science) label "Invariant (computer science)".
- Invariant_(computer_science) sameAs Invariant_(informatika).
- Invariant_(computer_science) sameAs Invariante_(Informatik).
- Invariant_(computer_science) sameAs Invariante_(informática).
- Invariant_(computer_science) sameAs Invariante_(informatica).
- Invariant_(computer_science) sameAs 不変条件.
- Invariant_(computer_science) sameAs Invariant_(informatica).
- Invariant_(computer_science) sameAs m.048jql.
- Invariant_(computer_science) sameAs Инваријанта_(рачунарство).
- Invariant_(computer_science) sameAs Інваріант_(програмування).
- Invariant_(computer_science) sameAs Q385374.
- Invariant_(computer_science) sameAs Q385374.
- Invariant_(computer_science) sameAs 不变条件.
- Invariant_(computer_science) wasDerivedFrom Invariant_(computer_science)?oldid=678348979.
- Invariant_(computer_science) isPrimaryTopicOf Invariant_(computer_science).