Some details of implementation As part of / extension of type-checking: Each declaration d(x) associated with a type type & size information Compiler decides on Address…