Implementação de ADTs

13 Março 2017, 11:30 • Antónia Lopes

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;