About: Loop invariant

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Invariants used to prove properties of loops

Property Value
dbo:description
  • в программировании — логическое выражение, истинное после каждого прохода тела цикла (ru)
  • Sonderform der Invariante (de)
  • instructions de programmation (fr)
  • invariants used to prove properties of loops (en)
  • умова, що не змінюється, або не повинна змінюватись коли система працює правильно. (uk)
dbo:wikiPageExternalLink
dbo:wikiPageWikiLink
dbp:date
  • March 2016 (en)
dbp:reason
  • I guess, once the notion of 'loop-invariant code' is defined in a sufficiently formal way, it can be proven that loop-invariant code *always* induces a corresponding loop invariant property. (en)
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdfs:label
  • Loop invariant (en)
  • Schleifeninvariante (de)
  • Begizta inbariante (eu)
  • Ciclo invariante (es)
  • Invariant de boucle (fr)
  • ループ不変条件 (ja)
  • Niezmiennik pętli (pl)
  • Инвариант цикла (ru)
  • 循环不变量 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International