• Kezdő oldal
• Bevezetés
• Nyelvi elemek
• Vezérlési szerkezetek
  • Szekvencia
  • Elágazás
  • Többirányú elágazás
  • Ciklus
  • Ugró utasítások
• Alprogramok
  • Deklarálás
  • Rekurzió
  • Paraméterátadás
• Tipusok, változók deklarációja, operátorok
  • Változók Deklarációja
  • Operátorok
  • Precedencia
  • Vektorok
  • Stringek
• Kivételek
• Objektumok
• Helyességbizonyítás
• Párhuzamosság
• Szabványos könyvtárak
  • Input/Output rutinok
  • Néhány string és vektorkezelő függvény
  • Egyéb függvények
• Egyéb
  • IO hibák kezelése
  • Fortran és GMAP szubrutinok hívása
  • B programok fordítása és futtatása MH-TSS rendszer alatt
  • A B nyelv jövőbeni fejlesztéséről
• Egy rövid példaprogram
• Hivatkozások

A B programozási nyelv

Helyességbizonyítás

A nyelv nem támogatja a 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