Skip to content
aidb
t

type checking

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

Entitysoftware featureQ4001197

Also known as typechecking

All data

6 statements · 0% with external sources · numbers in brackets are citations

On other databases

1 identifiers linking type checking across the web's reference databases