• Kezdő oldal
• Bevezetés
  • Tudnivalók a dokumentumról
• Nyelvi elemek
  • Termek
  • Minták
  • Változók
  • Hatókörök
  • További jelek
• Típusok, típuskonstrukciók
  • Szortok
  • Konstruktorok
  • Megjegyzések
• Utasítások, vezérlési szerkezetek
  • Vezérlés Strategoban
  • Elemi műveletek
  • Mintaillesztés
  • Szabály
  • Stratégia-alkalmazás
  • Stratégia-kombinátorok
  • Szekvenciális kompozíció
  • Determinisztikus választás
  • Őrzött választás
  • Nemdeterminisztikus választás
  • Term-műveletek
  • Összes részterm meglátogatása
  • Néhány részterm meglátogatása
  • Egy részterm meglátogatása
  • Term-dekonstrukció
  • Term-rekonstrukció
• Alprogramok, modulok
  • Modulok
  • Felhasználói stratégiák
  • Paraméterátadás
  • Rekurzió
• Absztrakt adattípusok
• Sablonok
• Kivételkezelés
• Objektum-orientált programozás
• Helyesség
• Párhuzamosság
• Szabványos könyvtárak
• Fordítók
  • Referencia-implementáció
  • Interaktív interpreter
  • Fordító
  • Spoofax/IMP
• További információk
  • Az SDF nyelvtanleíró formalizmus
  • A GPP általános szövegformázó nyelv
• Példaprogramok
  • Aritmetikai kifejezésfa kiértékelése
  • Egy funkcionális nyelv értelmezője
  • További példák

A Stratego termátíró rendszer

Absztrakt adattípusok

A nyelv nem támogatja új típuskonstrukciók létrehozását. Ez az ATerm-ek flexibilitása (és szignatúrák általi kvázi-típusozhatósága) miatt kevés hátrányt okoz.

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