• Kezdő oldal
• Történet
• Bevezetés
• Változók és kifejezések
  • Változók
  • Értékek
  • Deklaráció
  • Konstansok
  • Hatáskörök
  • Kifejezések
  • Értékadás
  • Eljáráshívás
• Alapvető vezérlési szerkezetek
  • Szekvencia
  • Blokk
  • Elágazás
  • Elöltesztelő ciklus
  • Iteráció
  • Case szerkezet
  • Ugró utasítások
• Eljárások, absztrakt eljárások
  • Eljárások
  • Iterációk
• Beépített adattípusok és típuskonstrukciók
  • Beépített egyszerű típusok
  • Integer
  • Real
  • Boolean
  • Char
  • Real
  • Null
  • Any
  • Beépített típuskonstrukciók
  • Tömb (array)
  • Sorozat (sequence)
  • Rekord
  • Struct
  • Variant
  • OneOf
  • Absztrakt és konkrét típusok
  • Equal, similar, copy
• Generic, típussal való paraméterezés
  • Generic eljárások
  • Paraméterezett adatabsztrakciók (Típuskonstrukció paraméterezése típussal)
• Kivételkezelés
  • Kivételek kezelése
  • Kivételek terjedése
  • Az exit utasítás
  • Elő- és utófeltételek
• • Objektumok
  • A CLU és az objektum-orientáltság
• Helyességbizonyítás
  • Bevezetés a segéd specifikációkhoz
  • Jellemzések
  • Egy jellemzésre vonatkozó elmélet
  • Jellemzések összekapcsolása
  • Belső konzisztencia és elégséges-teljesség
  • Az INT_ARRAY_SPEC segéd specifikációja
  • Procedurális absztrakciók interfész specifikációi
  • Szintaxis a predikátumok strukturálásához
  • Adatabsztrakciók interfész specifikáció
• Párhuzamos végrehajtás
• Program- és osztálykönyvtárak
  • Input és output
• CLU szintaxis
• CLU2C (CLU to C)
  • A program
  • A program használata
  • A fordító parancsai (clu2c)
  • A szerkesztő parancsai (clulink)
  • CLU bővítések:
  • Start_up Procedure
  • Objektum-orientált eljáráshivatkozás
  • Típuskönyvtár kiegészítések
  • Dokumentáció
• CLU példaprogramok

A CLU programozási nyelv

Helyességbizonyítás

10. Párhuzamos végrehajtás

A CLU-ban nincsenek párhuzamos programvégrehajtást támogató eszközök.

Powered by PHP and XML
Valid XHTML and CSS
Copgyright © 2010 - ELTE IK, Programozási Nyelvek és Fordítóprogramok Tanszék