Please enable JavaScript.
Coggle requires JavaScript to display documents.
L14, L15 - Coggle Diagram
L14
implementation
language
B0
substitutes
expressions
predicates
B0 Types
B0 Values
Example: MachineCustomer
machine with abstract values
setup concrete values
after that can generate c code
L15
LOOPs
invariant
verdadeiro antes e depois
post condition
define corretude ao fim do loop
não garante finalização
variant
garante finitude do loop
é configurado como uma variável decrescente
implementations only