Specyfikacja LEM: Różnice pomiędzy wersjami
Z Lem
(Utworzył nową stronę „ == Szkic specyfikacji projektu LEM == === Notatki -brulion === * zachować tyle ile można z gramatyki Loglanu'82. * wprowadzić moduły interface, specification,...”) |
|||
| Linia 13: | Linia 13: | ||
=== Pierwsza wersja specyfikacji - Trawiasta === | === Pierwsza wersja specyfikacji - Trawiasta === | ||
Tu będzie spisana ''trawiasta'' wersja specyfikacji języka LEM. | Tu będzie spisana ''trawiasta'' wersja specyfikacji języka LEM. | ||
| + | |||
| + | === wersja Gliniana === | ||
| + | |||
| + | === wersja Gipsowa === | ||
| + | |||
| + | === wersja Drewniana === | ||
| + | |||
| + | === Wersja ostateczna - '''Kamienna''' === | ||
Wersja z 11:58, 2 lut 2013
Spis treści
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.
