QUESTÕES DE LINGUAGEM DE PROGRAMAÇÃO
Atividade 02
Nome: Leonardo Bruno de Oliveira Guerreiro
Matrícula: 428328
Questão 1: Usando as instruções de máquina virtual dadas na seção
3.5.1.1 do livro, dê uma definição de semântica operacional para o
comando switch da linguagem C.
Reposta:
(C for) for (expr1; expr2; expr3)...
evaluate(expr1)
loop: control = evaluate(expr2)
if control == 0 goto out
...
evaluate( ex pr3)
goto loop
out: …
Questão 2: Escreva uma função de mapeamento de semântica denotacional
para o comando switch da linguagem C. Lembrando que há um vídeo
extra sobre semântica denotacional.
Resposta:
Function C(g: cmd; s: state): State;
…
case g↑.tag of
semicolon: C := C(g↑.right, C(g↑.left, s))
...
end