Tipos de dados abstratos

13 novembro 2012, 09:30 João Rasga

Raciocínio sobre tipos de dados. Implementação das pilhas sobre listas. Pacote que disponibiliza o tipo pilha.

Programação em larga escala: revisão do exemplo sobre torres de Hanoi. Programação por regras de re-escrita.

Filas: especificação equacional e implementação em pacote.