Specyfikacja LEM

Z Lem
Wersja AndrzejSalwicki (dyskusja | edycje) z dnia 10:18, 2 lut 2013

(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Skocz do: nawigacji, wyszukiwania

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.
  • zezwolić na przekazywanie typu jako parametru - dodatkowym warunkiem:

typ przekazywany jako parametr aktualny ma być podtypem typu T wymienionego jako parametr formalny w deklaracji procedury).


Pierwsza wersja specyfikacji - Trawiasta

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