Az Alphard programozási nyelv

Absztrakt adattípusok

Az Alphard típusfogalma az absztrakt adattípusra épül, lényeges jellemzõ az, hogy lehetõséget adtak a programozónak felügyelni a típusok specifikációját, illetve az Alphard forma felépítése hatékony eszköz a helyességbizonyításhoz.