• Kezdő oldal
• Bevezetés
• Nyelvi elemek
  • Jelkészlet
  • Elhatároló jelek
  • Azonosítók
  • Literálok
  • Megjegyzések
• Típusok, típuskonstrukciók
  • Beépített adattípusok
  • Primitív típusok
  • Referencia típusok
  • Tömb típus
  • Lista típus
  • Sor típus
  • Mutatók
  • Típusok ekvivalenciája
  • Típuskonverziók
  • Változók, konstansok
  • Változók
  • Láthatóság, elérhetőség
  • Konstansok
  • Konstans felsorolások
  • Kifejezések, operátorok
  • Kifejezések
  • Egyoperandusú kifejezések
  • Egyoperandusú operátorok
  • Bináris kifejezések
  • Bináris operátorok
• Utasítások, vezérlési szerkezetek
  • Értékadás
  • Értékadó operátorok
  • Egyszerű értékadás (=)
  • Összetett értékadás (op=)
  • Szekvencia
  • Elágazás
  • Ciklus
  • Ismert lépésszámú ciklus (for)
  • Nem ismert lépésszámú ciklusok
  • Vezérlésátadó utasítások
  • A break utasítás
  • A continue utasítás
  • Címkék
• Alprogramok, modulok
  • Szintaxis
  • Az init függvény
  • Függvények deklarálása
  • Függvény paraméterek
  • Érték ill. referencia szerinti paraméterátadás
  • Függvény visszatérési értékek
  • Modulok
• Absztrakt adattípusok
  • Absztrakt adattípus (ADT)
  • Referencia ADT (ref ADT)
  • Pick ADT
• Sablonok
• Kivételkezelés
• Objektum-orientált programozás
• Helyességbizonyítás
• Párhuzamosság
  • Csatorna
  • Csatorna létrehozása
  • Csatorna kommunikáció
  • Az alt utasítás
  • A send kifejezés
  • A spawn utasítás
• Szabványos könyvtárak
• Fordítók, Futtatás
  • A Limbo program
  • Fordítás
  • Futtatás
• További információk
  • Könyvek angol nyelven
  • Linkek
• Példaprogramok
• Készítők

A Limbo programozási nyelv

Helyességbizonyítás

Helyességbizonyítás

A Limbo nem tartalmaz helyességbizonyítást támogató nyelvi kiterjesztéseket.

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