- Formelle teknikker til specifikation af abstrakte datatyper:
- Algebraisk specifikation. En mængde af ligninger som angiver
de kaldsmæssige egenskaber af datatypens operationer i forhold til et antal særlige konstruktorer
- Axiomatisk specifikation. En mængde af logiske udsagn om de definitionsmæssige
egenskaber af datatypen og dens operationer
| | Algebraisk specifikation er en elegant teknik, som tillader os at specificere abstrakte
datatyper. Kerneideen er en angivelse af, hvordan de forskellige operationer (funktioner) virker
på såkaldte konstruktorer (også funktioner) I denne lektion vil vi koncentrere os om axiomatiske specifikationer |