Nyelvek listája
Kezdő oldal
Bevezetés
Nyelvi elemek, változók, kifejezések, láthatóság
Változók
Kötött szavak
Kifejezések
Láthatóság:
Literálok
Commentezés
Alapvető vezérlési szerkezetek
Szekvencia:
Elágazás
Ciklusok
Event-ek
Blokkok, paraméterátadás, globális és lokális változók
Blokkok
Paraméterátadás
Globális és lokális változók
Beépített típusok, típuskonstrukciók, absztrakt adattípus megvalósítása
Beépített típusok
Saját típusok
Típusok közötti konverzió
Kivételkezelés
Elöre definiált kivételek
Felhasználó által definiált kivételek
Kivételek lekezelése
OOP, öröklődés támogatása
Objektum-orientált programozás
Öröklődés támogatása
Helyességbizonyitás
Párhuzamos végrehajtás támogatása
Készítők
Forte
Helyességbizonyitás
A Forté nem támogatja a helyességbizonyítást.