An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

In computer programming, statement that a predicate is always true at that point in code execution

Property Value
dbo:description
  • 프로그램 안에 추가하는 참·거짓을 미리 가정하는 문 (ko)
  • predykat umieszczony w pewnym miejscu w kodzie programu (pl)
  • v računalniškem programiranju, izjava, da je predikat na tej točki izvajanja kode vedno resničen (sl)
  • in computer programming, statement that a predicate is always true at that point in code execution (en)
  • предикат в программе, указывающий на то, что разработчик предполагает этот предикат в этом месте программы всегда истинным (ru)
  • predicado incluido en un programa informático (es)
  • predicato presente in un programma informatico (it)
  • 【計算機プログラミング】コード実行時において述語が常に真であるような言明 (ja)
  • Aussage über den Zustand eines Computer-Programms oder einer elektronischen Schaltung (de)
  • në programimin kompjuterik, pohimi se një kallëzues është gjithmonë i vërtetë në atë pikë në ekzekutimin e kodit (sq)
dbo:wikiPageExternalLink
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdfs:label
  • Assertion (software development) (en)
  • Aserce (cs)
  • Assertion (Informatik) (de)
  • Aserción (informática) (es)
  • Asserzione (informatica) (it)
  • 표명 (ko)
  • 表明 (プログラミング) (ja)
  • Assertie (nl)
  • Asercja (informatyka) (pl)
  • Asserção (pt)
  • Утверждение (программирование) (ru)
  • Припущення (програмування) (uk)
  • 斷言 (程式) (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