TCC00304 - Linguagens de Programação

Avisos

Datas importantes

Atenção: essas datas constam de uma previsão e podem sofrer alterações.

Resultados de testes

Slides (adaptados dos slides da Profa. Isabel Cafezeiro)

• Aula 0

Listas de exercícios

Trabalho prático

Ferramentas

• PDL Tableaux

Bibliografia

• Sebesta, Robert W. (2011) Conceitos de Linguagens de Programação. Bookman
• Varejão, Flávio (2004) Linguagens de Programação - conceitos e técnicas. Editora Campus
• Pustejovsky, James (2006) Propositional Dynamic Logic. Notas de aulas
• Cardoso, Janette & Valette, Robert (1997). Redes de Petri