T9
25 Março 2019, 09: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.