Astrazione sui dati

• fornita da tutti i linguaggi ad alto livello moderni

• aggiunge nuovi tipi di dato e relative operazioni a quelli della macchina astratta del linguaggio

  • tipo MultiInsieme con le operazioni vuoto, inserisci, rimuovi, numeroDi e dimensione
  • la rappresentazione dei valori di tipo MultiInsieme e le operazioni sono realizzate nel linguaggio
  • l’utente non deve interessarsi dell’implementazione, ma fare solo riferimento alle proprietà presenti nella specifica
  • le operazioni sono astrazioni definite da asserzioni come

    dimensione(inserisci(s,e))= dimensione(s)+1
    
    numeroDi(vuoto(),e) = 0

• la specifica descrive le relazioni fra le varie operazioni

  • per questo, è cosa diversa da un insieme di astrazioni procedurali

Previous slide

Next slide

Back to first slide

View graphic version