Tipos de Semântica

• Semântica Operacional: Significado de uma construção da linguagem é especificado pela computação que ela induz quando executada em uma máquina hipotética (interessa como o efeito da computação que é produzido);
• Semântica Denotacional: Significados modelados por objetos matemáticos que representam o efeito de executar uma estrutura (somente o efeito interessa, não como é produzido); 
• Semântica Axiomática Especifica propriedades do efeito da execução das estruturas como asserções, (alguns aspectos da execução são ignorados).

Postado por Hellen Soares