Programming Language Theory Concept
Type checker
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.
A program or algorithm that verifies type correctness by analyzing program text and ensuring expressions conform to typing rules before execution.