• Kezdő oldal
• A nyelv rövid története
• A nyelv rövid jellemzése
• Lexikális elemek
  • Jelölések
  • Azonosítók
  • Numerikus literálok
  • Sztring literálok
  • Megjegyzések
• A minta
  • A minta fogalma
  • A nyelv alapmintái
  • Alaposztály
  • Kontroll-struktúrák
• Vezérlési szerkezetek
  • Deklarációk
  • Megfeleltetés - értékadás
  • Feltételes utasítás
  • Ciklusok
  • For ciklusok
  • A cycle és loop ciklus
  • Blokk utasítás
  • Láthatóság, élettartam, elérhetőség
  • Dinamikus helyfoglalás és felszabadítás
  • Láthatóság és az attribútumokhoz való hozzáférés
• Alprogramok
• Típusok, típuskonstrukciók
  • Elemi típusok
  • Összetett típusok
  • Tömbök
  • Rekord, unió
• Absztrakt adattípusok
• Sablonok (Generikusság)
• Kivételkezelés
• Helyességbizonyítás
• Objektum-orientáltság
  • Osztályok
  • Minták és öröklődés
  • Késői kötés
• Párhuzamosság
  • Komponensek egyidejű végrehajtása
  • Egyszerű szinkronizáció
  • Monitorok
  • Összetett rendszerek
  • Randevúk
  • Nemdeterminisztikus végrehajtás
• A fragment-rendszer
  • Interface és implementáció
  • Alapkönyvtárak
• Érdekességek
• A Mjolner fejlesztői környezet
  • Forrásböngésző (Ymer) és forráseditor (Sif)
  • Forrásszintű debugger (Valhalla)
  • Interfész-editor (Frigg)
  • Osztálydiagram-szerkesztő (Freja) - CASE tool
• A BETA nyelv szintaxisa
  • A BETA nyelv szintaxisa
• Példaprogramok
  • 1. példa
  • 2. példa
  • 3. példa
  • 4. példa
  • 5. példa
  • 6. példa
• Segédanyagok
• Javasolt kérdések
• Készítők

A BETA programozási nyelv

Helyességbizonyítás

A nyelv nem nyújt eszközöket a helyességbizonyításhoz.

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