Apresenta introdução prática à semântica denotacional com foco em modelos matemáticos de linguagem de programação; inclui exemplos formais e exercícios aplicados.

Aborda conceitos como domínios, funções de significado e correção semântica para facilitar o entendimento técnico; indicado para estudantes de ciência da computação e programadores com interesse teórico.

Estrutura didática que combina teoria e prática para uso em cursos de graduação e pós-graduação; pode servir como texto complementar em disciplinas de semântica formal e linguagens de programação.