Question

Considere o trecho de código abaixo:



{n = -4}

Se n > 0 então

y = -1*n

Senão

y = n

{y = menos 4}

Assinale a alternativa que contém as expressões para as triplas de Hoare a serem verificadas na correção do trecho de código.

Answer 1

Resposta:

código abaixo:

{n = -4}

Se n > 0 então

y = -1*n

Senão

y = n

{y = menos 4}

Explicação:

código abaixo:

{n = -4}

Se n > 0 então

y = -1*n

Senão

y = n

{y = menos 4}