Assinale a alternativa que descreve, de modo completo, o uso de invariantes de laço para provar correção e terminação de um algoritmo iterativo.

Em um TAD de mensagens, deseja-se reduzir aliasing e facilitar comparação por conteúdo. Marque a alternativa que melhor atende a esse objetivo.

Considere a expressão com curto-circuito: if P() and Q() then R(). Assinale a transformação que preserva a mesma semântica na presença de efeitos colaterais.

Em uma função recursiva de cauda f(x, acc) que atualiza f(g(x), h(acc)) até condição de parada, identifique a transformação que elimina a pilha mantendo a equivalência.

Uma fila é implementada com duas pilhas S1 e S2, enfileirando em S1 e desenfileirando a partir de S2 com transferência de S1 para S2 quando S2 está vazia. Para uma sequência com M enfileiramentos e M desenfileiramentos intercalados, assinale o custo amortizado por operação.

Assinale a alternativa que relaciona corretamente limites de altura e impacto em consultas.

Sobre vínculos e diretórios em sistemas do tipo Unix, assinale a afirmação correta.

Marque a associação correta entre forma de polimorfismo e exemplo típico de linguagem.