• Kezdő oldal
• Bevezetés
• Nyelvi elemek
  • Jelkészlet
  • Azonosítók
  • Literálok
  • Megjegyzések
• Típusok, típuskonstrukciók
  • Típusszerkezet
  • Beépített típusok
  • Típusok készítése
  • Típuskonverziók
  • Változók, konstansok
• Utasítások, vezérlési szerkezetek
  • Értékadás, üres utasítás
  • Szekvencia
  • Elágazás
  • Ciklus
  • Vezérlésátadó utasítások
  • Párhuzamos utasítások
• Alprogramok, modulok
  • Szintaxis
  • Paraméterátadás
  • Rekurzió
• Absztrakt adattípusok
  • Beépített típusok
• Sablonok
• Kivételkezelés
  • Szintaxis
  • Kivételek definiálása
  • Kivételek kiváltása
  • Kivételek kezelése
  • Kivételek terjedése
• Objektum-orientált programozás
  • Osztályok
  • Objektumok
  • Öröklődés
  • Polimorfizmus, dinamikus kötés
  • Interfészek
• Helyesség
  • Szintaxis
• Párhuzamosság
  • Szintaxis
  • Kommunikáció
  • Szinkronizáció
• Szabványos könyvtárak
• Fordítók
  • Mozart
• Készítők
  • Neve, e-mailje
  • Aktuális felelős neve, e-mailje

Az Oz/Mozart programozási nyelv

Helyesség

Helyesség

Az Oz programozási nyelvben nincsenek helyességbizonyítási eszközök.

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