Astrazione via specifica
la procedura si presta a meccanismi di astrazione pių potenti della parametrizzazione
possiamo astrarre dalla specifica computazione descritta nel corpo della procedura, associando ad ogni procedura una specifica
- semantica intesa della procedura
e derivando la semantica della chiamata dalla specifica invece che dal corpo della procedura
non č di solito supportata dal linguaggio di programmazione
- se non in parte (vedi specifiche di tipo)
si realizza con specifiche semi-formali
- sintatticamente, commenti