static typing

type system paradigm where all type checking is done at compile time

en-US/ˈstædɪk ˈtaɪpɪŋ/
en-GB/ˈstætɪk ˈtaɪpɪŋ/

Categories:

static program analysistype system