Please enable JavaScript.
Coggle requires JavaScript to display documents.
Semântica Formal - Coggle Diagram
Semântica Formal
-
Semântica Denotacional
Exemplos: Análise de programas, compiladores.
-
-
Semântica Axiomática
-
-
Exemplos: Prova de correção, sistemas críticos.
Comparação
Operacional: Detalha a execução; intuitiva, mas complexa para grandes programas.
-
Axiomática: Focada em provas de correção; complexa, mas poderosa.
-