Typová kontrola je v informatice proces ověřování datových typů ve zdrojovém kódu počítačového programu (pro operandy ve výrazech, parametry a návratové hodnoty funkcí i jinde). Může být prováděna buď překladačem při překladu programu (statická typová kontrola) nebo až běhovým prostředím za běhu programu (dynamická typová kontrola). Programovací jazyky, které vyžadují přísné uvádění datových typů, označujeme za silně typované, ostatní za slabě typované.

PropertyValue
prop-cs:isbn
  • 978 (xsd:integer)
prop-cs:jméno
  • Šárka
prop-cs:kapitola
  • Sémantická analýza
prop-cs:místo
  • Opava
prop-cs:příjmení
  • Vavrečková
prop-cs:rok
  • 2008 (xsd:integer)
prop-cs:strany
  • 111 (xsd:integer)
prop-cs:titul
  • Programování překladačů
prop-cs:vydavatel
  • Slezská univerzita v Opavě
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • Typová kontrola je v informatice proces ověřování datových typů ve zdrojovém kódu počítačového programu (pro operandy ve výrazech, parametry a návratové hodnoty funkcí i jinde). Může být prováděna buď překladačem při překladu programu (statická typová kontrola) nebo až běhovým prostředím za běhu programu (dynamická typová kontrola). Programovací jazyky, které vyžadují přísné uvádění datových typů, označujeme za silně typované, ostatní za slabě typované.
dbpedia-owl:wikiPageID
  • 565054 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 7280 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 43 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 11344333 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • dynamickou kontrolu datových typů
  • dynamicky typovaného jazyka
  • typová kontrola
  • typovou kontrolu
  • Typová kontrola
  • typové kontroly
  • typovou kontrolou
  • dynamickou typovou kontrolu
  • dynamickou typovou kontrolou
  • dynamicky typovaný
  • typové kontrole
  • silně typový jazyk
  • silné typovosti
  • typová bezpečnost
  • typové bezpečnosti
  • typově bezpečné
  • jazycích s dynamickou typovou kontrolou
  • jazycích se statickou typovou kontrolou
  • statická
dcterms:subject
rdfs:comment
  • Typová kontrola je v informatice proces ověřování datových typů ve zdrojovém kódu počítačového programu (pro operandy ve výrazech, parametry a návratové hodnoty funkcí i jinde). Může být prováděna buď překladačem při překladu programu (statická typová kontrola) nebo až běhovým prostředím za běhu programu (dynamická typová kontrola). Programovací jazyky, které vyžadují přísné uvádění datových typů, označujeme za silně typované, ostatní za slabě typované.
rdfs:label
  • Typová kontrola
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of