Ementa de Disciplina

×

INF1011

SEMANTICA DE LINGUAGENS

4 créditos

Ementa

Semântica operacional. Semântica axiomática. Semântica denotacional. Gramática de Atributos. Verificação de propriedades.

Bibliografia FELLEISEN, M.; FINDLER, R.B.; FLATT, M. SEMANTICS ENGINEERING WITH PLT REDEX; CAMBRIDGE: THE MIT PRESS, 2009.
Bibliografia Complementar

Nenhuma biliografia complementar encontrada para INF1011

Pré-requisitos INF1010 e INF1022

ou

INF1010 e INF1626

ou

INF1620 e INF1626
Co-requisitos

Nenhum co-requisito encontrado para INF1011

Última atualização da ementa: 06/02/2014