Specyfikacja LEM

Szkic specyfikacji projektu LEM

Notatki -brulion

• zachować tyle ile można z gramatyki Loglanu'82.
• wprowadzić moduły interface, specification, verification (z myślą o projekcie SpecVer).
• jakoś zdefiniować bibliotekę(i) klas i procedur - tego brakuje w Loglanie'82..
• zezwolić na przekazywanie typu jako parametru z dodatkowym warunkiem: typ przekazywany jako parametr aktualny ma być podtypem typu T wymienionego jako parametr formalny w deklaracji procedury.
• zachować czy zmodyfikować sygnalizacje wyjątków i ich obsługę?

Pierwsza wersja specyfikacji - Trawiasta

Tu będzie spisana trawiasta wersja specyfikacji języka LEM.