Tipo de Dados Abstratos
12 Março 2018, 09:30 • João Pedro Guerreiro Neto
A implementação de ADTs. Classes genéricas em Java e tipos wrapper. A escolha da API: Excepções vs Pré-condições e Mutabilidade vs Imutabilidade. Correspondência entre especificação e implementação através de mapas de refinamento;