• Kezdő oldal
• Bevezetés
• Nyelvi elemek
  • Jelkészlet
  • Lexikális elemek és fehér szóközök
• Típusok, típuskonstrukciók
  • Elemi típusok
  • Diszkrét típus(ok)
  • Típuskonstrukciók
  • Tömb típusok
  • Változók-deklarációk
  • Azonosítók
  • Permanens deklarációk
  • Ideiglenes deklarációk
  • Kifejezések
  • Elsődleges kifejezések
  • Aritmetikai kifejezések
• Utasítások, vezérlési szerkezetek
  • Utasítások mint kifejezések
  • Blokkok
  • Elágazás
  • Egyszerű feltételes kifejezések
  • Többágú feltételes kifejezések
  • Szelekciós kifejezések
  • Ciklus
  • Indexes ciklus kifejezések
  • Elöltesztelt ciklus kifejezések
  • Hátultesztelt ciklus kifejezések
  • Kilépő kifejezések
  • Vezérlésátadás
  • Rutin hívások
  • Visszatérő kifejezések
• Alprogramok, modulok
  • Alprogramok definíciója
  • Alprogramok hívása
  • Paraméterátadás
• Absztrakt adattípusok
  • Szintaxis
• • Sablonok makrókkal
  • Egyszerű makró
  • Feltételes makró
  • Iteratív makró
  • Névvel jelölt paraméterű makrók
• Kivételkezelés
• Objektum-orientált programozás
• Helyesség
• Párhuzamosság
• Szabványos könyvtárak
• Fordítók
• További információk
  • Könyvek magyar, angol nyelven
  • Linkek
• Példaprogramok
• Készítők

A BLISS programozási nyelv

Helyesség

Helyesség

A BLISS-32 nyelv nem tartalmaz helyességbizonyítási eszközöket.

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