CSC448: Type Checking: Integers and Strings [38/133] |
Suppose we want to type check expressions of the following language:
exp ::= <INT> | <STRING> | exp "+" exp | exp "-" exp | "length" "(" exp ")" | "inttostring" "(" exp ")"
Inductive definition of type checking rules.