Streszczenie
TODO
Motywacja i Zakres Pracy
TODO
Cele Projektowe
TODO
Terminologia
TODO
Notacja
TODO
Rozprawa o Modelu Semantycznym
TODO
Środowiska Wykonania
TODO
Model Pamięci
TODO
Teoria Domen
TODO
System Deskryptorów
TODO
Semantyka Ewaluacji
TODO
Czas Kompilacji
TODO
Rachunek Sygnałów
Sygnał $S_i : I \times (A \to B)$ oznacza przejście nad jedną instancją dziedziny indeksowanej.
Produkt deskryptorów:
$$ D = T_1 \times T_2 \times \dots \times T_n $$TODO
Model Programowania
TODO
Specyfikacja Formy Binarnej
TODO
Reprezentacja Empiryczna
Reprezentacja empiryczna (ER, z ang. Empiric Representation) to kanoniczna, binarna postać programu Lovage po pełnej analizie semantycznej.
TODO
Model Logiczny ER
TODO
Model Wykonania ER
TODO
Model Fizyczny ER
TODO
Format Binarny ER
TODO
Moduły
TODO
Linkowanie
TODO
Interfejs Binarny
TODO
Interoperacyjność
TODO
Specyfikacja Języka Programowania
TODO
Struktura Programu
TODO
Struktura Leksykalna i Gramatyka
TODO
System Zdolności
TODO
System Typów
TODO
Deklaracje
TODO
Ekspresje
TODO
Przepływ Sterowania
TODO
Operacje Sygnałowe
map, reduce, scan, pipeline, fan-in, fan-out, partition, merge, feedback, fixpoint, stencil, gather, scatter, windowing, resampling
TODO
Konstrukcje Pochodne
while: feedback, fixpoint
for: map, reduce, fan
match: partition, merge
TODO
Metaprogramowanie
TODO
Ograniczenia Semantyczne
TODO
Reguły Obniżania do ER
TODO
Gramatyka Formalna EBNF
TODO