Vamos analisar cada afirmação: I. No código intermediário de três-endereços, cada instrução faz referência, no máximo, a três variáveis (endereços de memória). Verdadeiro, essa é uma característica do código de três-endereços, onde cada instrução pode envolver até três operandos. II. Expressões envolvendo diversas operações são decompostas no código de três endereços, em uma série de instruções, eventualmente com a utilização de variáveis temporárias introduzidas na tradução. Verdadeiro, essa afirmação está correta, pois o código de três-endereços permite a decomposição de expressões complexas em instruções mais simples, utilizando variáveis temporárias quando necessário. III. No código de três endereços obtém-se um código mais próximo da estrutura da linguagem assembly. Verdadeiro, o código de três-endereços é uma representação intermediária que se assemelha à linguagem assembly, pois é mais baixo nível em comparação com linguagens de alto nível. Portanto, todas as afirmações I, II e III estão corretas. A alternativa correta é: I, II e III.