About: type checking     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : wikibase:Item, within Data Space : wikidata.demo.openlinksw.com associated with source document(s)

analysis and verification of data types in the source code of a computer program

AttributesValues
rdf:type
description
  • proces analýzy a ověřování datových typů ve zdrojovém kódu počítačového programu (cs)
  • analysis and verification of data types in the source code of a computer program (en)
rdfs:label
  • Type check (it)
  • type checking (en)
  • typová kontrola (cs)
skos:prefLabel
  • Type check (it)
  • type checking (en)
  • typová kontrola (cs)
name
  • Type check (it)
  • type checking (en)
  • typová kontrola (cs)
uses
uses
subclass of
subclass of
Google Knowledge Graph ID
Google Knowledge Graph ID
Google Knowledge Graph ID
  • /g/1hg09_9z5
skos:altLabel
  • Type checking (it)
  • kontrola typů (cs)
  • typechecking (en)
has goal
has goal
is owl:sameAs of
is about of
is applies to part of
is has use of
is has use of
Faceted Search & Find service v1.16.117 as of May 05 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3239 as of May 5 2024, on Linux (x86_64-centos_6-linux-gnu), Single-Server Edition (378 GB total memory, 196 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software