• Kezdő oldal
• Bevezetés
• Nyelvi elemek
  • Jelkészlet
  • Azonosítók
  • Literálok
  • Megjegyzések
• Típusok, típuskonstrukciók
  • Típusszerkezet
  • Típuskonverziók
  • Változók, konstansok
  • Kifejezések, operátorok
• Utasítások, vezérlési szerkezetek
  • Szekvencia
  • Elágazás
  • Ciklus
• Alprogramok, modulok
  • Eljárások
• Absztrakt adattípusok
• 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
  • Linkek
• Példaprogramok
• Készítők

A C-- programozási nyelv

Helyesség

Helyesség

A C-- 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