T9

25 Março 2019, 11:30 • João Pedro Guerreiro Neto

Ainda a implementação de ADTs: análise da eficiência. Análise amortizada. Métodos equals e clone; análise da correção de uma implementação de um ADT face à sua especificação. A análise da correção de implementações de ADTs suportada pelo ConGu.