• Kezdő oldal
• Bevezetés
• Azonosítók
• Literálok
  • Numerikus
  • Boolean - Logikai
  • Nil
  • Karakter
  • String
  • Vektor
  • Típusok
• Lefoglalt azonosítók
  • Literálok
  • Kulcsszavak
  • Operátorok
  • Elválasztók
  • Megjegyzések
• Deklaráció
  • Láthatóság
• Kifejezések
  • Literál és Azonosító Kifejezések
  • Operátor Kifejezések
  • Relációs Operátorok
  • Aritmetikai operátorok
  • Boolean operátorok
  • Location-related operátorok
  • Egyéb kifejezések
• Beépített típusok
  • Beépített típusok mûveletei
  • AbstractType
  • Any
  • Array
  • Boolean
  • Character
  • Condition
  • Instream
  • Integer
  • Node, NodeList, NodeListElement
  • None
  • OutStream
  • Real
  • Signature
  • String
  • Time
  • Vector
  • ImmutableVector
  • BitChunk
  • VectorOfChar
• Típusok
  • Típus konstrukciók
  • Hasonlóság
  • Egyéb típusok
  • Osztályok
  • Összetett típusok
  • Felsorolási
• Utasítások
  • Értékadás
  • Feltétel
  • Ciklus
  • Exit utasítás
  • For utasítás
• Alprogramok
• Objektumok
  • Objektumok létrehozása
  • Invokáció
  • Objektum konstruktorok
  • Objektumok, mint típusok
• Kivételkezelés
• Helyességbizonyítás
• Párhuzamosság
• Fordító
  • Fordítás
  • Nyomkövetés
• Érdekességek

Az Emerald programozási nyelv

Helyességbizonyítás

A helyességbizonyításról nem találtam semmit.

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