Home
Random
Nearby
Log in
Settings
Donate
About Wikidata
Disclaimers
Search
(Q4001197)
Watch
English
type checking
analysis and verification of data types in the source code of a computer program
typechecking
In more languages
edit
Statements
subclass of
program analysis
0 references
verification
of
type system
computer program
0 references
has goal
safe typing
0 references
uses
type system
0 references
Identifiers
Google Knowledge Graph ID
/g/1hg09_9z5
0 references
Sitelinks
Wikipedia
(2 entries)
edit
cswiki
Typová kontrola
itwiki
Type check
Wikibooks
(0 entries)
edit
Wikinews
(0 entries)
edit
Wikiquote
(0 entries)
edit
Wikisource
(0 entries)
edit
Wikiversity
(0 entries)
edit
Wikivoyage
(0 entries)
edit
Wiktionary
(0 entries)
edit
Multilingual sites
(0 entries)
edit