Which information belongs in a symbol table for semantic checking?
Here + requires two numbers and does not convert strings. n is a number and s is a string. Which expression has valid syntax but fails type checking?
Valid grammatical structure guarantees that code passes this lesson's static semantic checks.
Circle one: True False
In the lesson's symbol-table model, when are entries added and consulted?
paint takes three numbers, and red is a declared number. paint(red) has valid syntax. What information exposes its argument-count mismatch?
How can a shared IR support several languages and targets?
A name has valid token spelling and appears in a valid expression. What further information decides whether it is declared here?
Three existing back ends consume one IR. A new language can express all its operations in that IR. Which new component lets it reuse those back ends?