Metody translacji

Semestr zimowy 2003/2004

Wykład

Poniedziałek 14:15-16:00, sala 32

Ćwiczenia:

Poniedziałek 16:15-18:00, sala 36/50a (grupa W. Charatonika)
Piątek 8:15-10:00, sala 57/50b (grupa M. Piotrowa)

Egzamin odbędzie się 2.2.2004 o godzinie 12:30 w sali 31. Drugi termin 20.2.2004 od godz. 13:00, sala 34. Na agzaminie można korzystać z książek, wydruków i własnych notatek.
Wyniki egzaminu

Listy zadań: 00 01 02 03 04 05 06 07 Jest już znana treść drugiego zadania na pracownię

Slajdy do wykładu (dzięki uprzejmości Reinharda Wilhelma) wg książki Wilhelm i Maurer Compiler design

6.10.2003 Struktura kompilatora Structure of the Compiler (20 slides)
13.10.2003 Prosty kompilator rekurencyjny na podstawie drugiego rozdziału książki Aho, Sethi, Ullman Kompilatory
20.10.2003 analiza leksykalna. Ze slajdow interesują nas właściwie tylko strony 0-4, 13 i 27-31. Resztę powinniście już umieć z języków formalnych.
27.10.2003 analiza syntaktyczna. Slajdy są w dwóch częściach: Syntax Analysis (tu interesują nas strony 0-10 i 14-18, bo co to jest gramatyka bezkontekstowa już wiecie) i Push Down Automata and Parser.
3.11.2003 kończymy automaty ze stosem i robimy analizę przepływu w gramatykach bezkontekstowych (Grammar Flow Analysis)
17.11.2003 kończymy analizę przepływu i zaczynamy zstępującą analizę syntaktyczną (Top-down syntax analysis)
24.11.2003 kod trójadresowy na podstawie rozdziału 8.1 książki Aho, Sethi, Ullman Kompilatory i gramatyki prawostronnie regularne (Regular Right Part Grammars).
1.12.2003 zaczęliśmy wstępującą analizę syntaktyczną (Bottom-up syntax analysis)...
...a 8.12.2003 ją skończyliśmy.
15.12.2003 była analiza semantyczna, tablica symboli i operatory przeładowane, oraz zaczęliśmy mówić o gramatykach atrybutowych
22.12.2003 w wyniku strajku słuchaczy odroczyliśmy kończenie gramatyk atrybutowych, opowiedzieliśmy sobie natomiast o rekordach aktywacji (rozdziały 7.2-7.4) z podręcznika
5.01.2004 skończyliśmy gramatyki atrybutowe
12.01.2004 bedzie krótko o przekazywaniu parametrów w procedurach i przejdziemy do wirtualnej maszyny języka C. Tutaj większość materiału już znacie, więc (po ustaleniu notacji) zaczniemy gdzieś od środka

Więcej slajdów można znaleźć na stronach wykładu sprzed roku, wykładu w Saarbrücken albo innego wykładu w Saarbrücken.

Zasady zaliczania (grupa W. Charatonika)

Ocenę z zaliczenia oblicza się na podstawie

aktywności na zajęciach (30%)
maksimum z (wyniku kolokwium z 8.12.2003, wyniku kolokwium z 19.01.2004) (20%)
oceny pierwszego projektu (20%)
oceny drugiego projektu (30%)

Pierwszy projekt na pracownię (grupa W. Charatonika)

Napisać kompilator rekurencyjny własnego prostego języka do kodu maszyny ze stosem. Język wejściowy musi obejmować co najmniej

instrukcję pętli
instrukcję warunkową
proste działania arytmetyczne
proste instrukcje wejścia/wyjścia

Oprócz samego kompilatora pakiet musi dawać możliwość wykonania wygenerowanego kodu (interpreter maszyny ze stosem) i przeglądania kodu wynikowego (np disassembler).

Termin wykonania:

specyfikacja języka wejściowego i wyjściowego: 24.10.2003
cały projekt: 10.11.2003

Drugi projekt na pracownię

Używając flexa i bisona napisać translator języka while-programów (czyli języka z poprzedniego zadania), rozszerzonego jak niżej, na kod trójadresowy, oraz narzędzia umożliwiające przeglądanie i uruchamianie programów w tym kodzie. Do uruchamiania może służyć własny interpreter kodu trójadresowego lub translator na inny kod wykonywalny, np java bytecode, MSIL lub język odpowiednio rozszerzonej maszyny stosowej z poprzedniego zadania. Język powinien obejmować

strukturę blokową,
procedury bezparametrowe,
różne typy proste (co najmniej int, float, char, bool),
wejście/wyjście dla różnych typów prostych,
i bibliotekę matematyczną dla float (sqrt, sin, cos,...)

oraz dodatkowo jeden z trzech nastepujących elementów

rekordy, tablice i napisy, standardowe operacje na napisach,
rekordy i wskaźniki, zarządzanie składem,
lub funkcje rekurencyjne z parametrami przekazywanymi przez wartość.

Dopuszczalna jest praca w zespołach dwuosobowych, ale wtedy dostarczony kompilator powinien implementować wszystkie trzy dodatkowe elementy.

Termin wykonania zadania: koniec semestru, czyli 26.01.2003
Przed świętami, czyli 22 grudnia, chciałbym zobaczyć specyfikację języka.