• Kezdő oldal
• Bevezetés
• Nyelvi elemek
  • Jelkészlet
  • Azonosítók
  • Literálok
  • Megjegyzések
• Típusok, típuskonstrukciók
  • Típusok
  • Diszkrét típus
  • String típus
  • Változók
• Utasítások, vezérlési szerkezetek
  • Értékadások, utasítások
  • Szekvencia
  • Elágazás
  • Ciklus
  • Vezérlésátadó utasítások
• Alprogramok, modulok
• Absztrakt adattípusok
• Sablonok
• 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
• Példaprogramok
  • 99 üveg sör
  • Összegzés
• Készítők
  • Majoros Dániel

A Cesil programozási nyelv

Helyesség

Helyesség

A CESIL nem támogat semmiféle helyességbizonyítást.

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