• Kezdő oldal
• Bevezetés
• Nyelvi elemek
• Vezérlési szerkezetek
  • Egyszerű utasítások
  • Összetett utasítások
• Típusok
  • Standard típusok
  • Mutató- és csoporttípusok(collections)
  • Típuskonstrukciók
  • Tömbök
  • Rekordok
  • Modul típusok
  • Gépfüggő rekordok
  • Halmazok
  • Absztrakt adattípusok
  • Modul típusok
  • Deklarációk és érvényességi körök
  • Típuskompatibilitás
• Alprogramok
  • Rutinok az EUCLID-ban
  • Függvények
  • Eljárások
  • Euclid rutinok hívása gépi kódból
• Kivételkezelés
• Sablonok:paraméterezett típusok
• Helyességbizonyítás nyelvi eszközei
• OOP-eszközök
• Párhuzamosság: Concurrent Euclid
  • Bevezető
  • Folyamtok, monitorok
  • Szinkronizáció
  • Fordítókról
  • A TUNIS -ról
• Program-, és osztálykönyvtárak
• Példakódok
  • Étkező filozófusok
  • SCAN merevlemez-elérést irányító ütemező algoritmus
  • "Concurrent Worms"
  • Lineáris hashelés egy implementációja(Euclid nyelven)
• Szerzők

Az Euclid programozási nyelv

Helyességbizonyítás nyelvi eszközei

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