Concept

Type checker

Modified just now

Books

Journey Statusreviewing Tags

A program or algorithm that verifies type correctness by analyzing program text and ensuring expressions conform to typing rules before execution.