SW wykład 1 - Slajd11
Wstęp Literatura Programy Programy, sprzeczne oczekiwania WielkiCel Składnia Semantyka Pragmatyka Logika Metodyka Implementacja Formalna semantyka Przykład Przykład, c.d. Przykład, reguła dowodzenia Uzasadnianie poprawności Plan zajęć
Oczywiście, gdy mówimy o językach programowania, niezbędnym warunkiem ich sensownego wykorzystywania jest implementacja takiego języka przez budowę dobrego kompilatora (lub interpretera) języka na wykorzystywaną platformę systemową. Taka implementacja musi oczywiście obejmować pełną analizę składniową wprowadzanych programów i fraz języka, wraz z możliwie dokładną analizą statyczną i możliwie efektywnym modułem optymalizacji oraz oczywiście generatorem wykonywanego kodu --- te zagadnienie są przedmiotem zupełnie innych zajęć i nie będziemy tu do nich wracać.
Częścią realizacji języka programowania powinna być także budowa pełnego środowiska programisty, wspierającego skuteczne wykorzystywanie tego języka w praktyce. Obejmować ono powinno znane wszystkim i oczekiwane składowe (dedykowany językowi edytor tekstu, kompilator, debugger wspomagający znajdowanie i poprawianie błędów, możliwie bogate biblioteki standardowych modułów itp). Ale także, o czym warto pamiętać, systemy wspomagające budowanie specyfikacji dla programów w tym języku, systematyczne ich konstruowanie i analizę czy weryfikację tych programów.
