Please enable JavaScript.
Coggle requires JavaScript to display documents.
M8 (L14 - Implementation, L15 - Loops, L17 - Code Generation) - Coggle…
M8
-
L15 - Loops
Laço WHILE
Construção essencial de programação, usada na IMPLEMENTATION
Estrutura: condição, DO, INVARIANT, VARIANT
Invariante do Laço
Vale antes do laço, a cada iteração e na saída
Junto com a negação da condição, leva ao objetivo
-
Provas e Exemplos
Obrigações: invariante inicial, preservação e variante
-
L17 - Code Generation
-
-
-
Fluxo de Geração
Verificar o modelo, gerar o C e compilar
-