- Kezdő oldal
- Bevezetés
- Nyelvi elemek
- Típusok, típuskonstrukciók
- Egyszerű adattípusok
- Mutatók
- Típuskonstrukciók
- Tömb típus(ok)
- Rekord típus
- Unió típus (3-as verziótól)
- Variáns rekord, halmaz típuskonstrukció
- Táblák, sztringek
- Csatorna típus
- Timer típus
- Altípusképzés
- Típuskonverziók
- Változók, konstansok
- Szegmensek
- Változók láthatósága
- Nevek rövidítése
- Kifejezések, operátorok
- Konverziók
- Utasítások, vezérlési szerkezetek
- Alprogramok, modulok
- Absztrakt adattípusok
- Sablonok
- Kivételkezelés
- Objektum-orientált programozás
- Helyesség
- Párhuzamosság
- A processz fogalma
- Egyszerű processzek
- Összetett processzek
- Szekvencia
- Ismételt szekvencia
- Feltétel
- Ismételt feltétel
- Szelekció
- WHILE ciklus
- Párhuzamos végrehajtás
- Ismételt párhuzamosítás
- Alternatív végrehajtás
- Ismételt alternatív végrehajtás
- Prioritásos alternatív végrehajtás
- Kommunikáció
- Csatorna típus
- Protokollok
- Egyszerû protokollok
- Számolt hosszú tömb protokoll
- Szekvenciális protokoll
- CASE protokoll
- Anarchikus protokoll
- Távoli eljáráshívás (hívható csatornák)
- Osztott csatornák (Occam 3)
- Szinkronizációs eszközök
- Időzítések
- Interface-ek és modulok (Occam 3)
- Occam programok futása egy és több processzoron
- Függelék : Üzenetküldéses programozási modellek
- Források
- Készítők
Az OCCAM nyelvi elemeket nem biztosít a helyességbizonyításhoz, viszont olyan módszertanra épül, ami ezt lehetővé teszi.
Powered by PHP and XML
Valid XHTML and CSS
Copgyright © 2010 - ELTE IK, Programozási Nyelvek és Fordítóprogramok Tanszék