• Kezdő oldal
• Bevezetés
• Típus, deklaráció
  • Azonosítók
  • Típus, deklaráció
• Operátorok
  • Értékadás
  • Operátorok
• Láthatóság
  • Láthatóság és öröklődés
  • Láthatóság és blokkszerkezet
• Vezérlési szerkezetek
  • Szekvencia
  • Elágazás
  • Ciklusok és kiugrások
• Alprogramok
• Típusok
  • Bevezetés
  • A típusmodul szintaxisa
• Kivételkezelés
  • Alprogram szintű kivételkezelés
  • Blokk szintű kivételkezelés
• Helyességbizonyítás
• Párhuzamos végrehajtás
• Szerzők

Trellis

Helyességbizonyítás

9. Helyességbizonyítás

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