typechecking

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Etymology[edit]

type +‎ checking

Noun[edit]

typechecking (uncountable)

  1. (computing) The process of verifying whether a given value belongs to a certain data type.

Related terms[edit]

See also[edit]

Retrieved from "https://en.wiktionary.org/w/index.php?title=typechecking&oldid=76317748"