SW wykład 1 - Slajd11: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 7: | Linia 7: | ||
platformę systemową. Taka implementacja musi oczywiście obejmować | platformę systemową. Taka implementacja musi oczywiście obejmować | ||
pełną analizę składniową wprowadzanych programów i fraz języka, wraz z | pełną analizę składniową wprowadzanych programów i fraz języka, wraz z | ||
możliwie dokładną | możliwie dokładną analizą statyczną i możliwie efektywnym modułem | ||
optymalizacji | optymalizacji oraz oczywiście generatorem wykonywanego kodu --- te | ||
zagadnienie są przedmiotem zupełnie innych zajęć i nie będziemy tu do | zagadnienie są przedmiotem zupełnie innych zajęć i nie będziemy tu do | ||
nich wracać. | nich wracać. | ||
| Linia 17: | Linia 17: | ||
wszystkim i oczekiwane składowe (dedykowany językowi edytor tekstu, | wszystkim i oczekiwane składowe (dedykowany językowi edytor tekstu, | ||
kompilator, debugger wspomagający znajdowanie i poprawianie błędów, | kompilator, debugger wspomagający znajdowanie i poprawianie błędów, | ||
możliwie bogate biblioteki standardowych | możliwie bogate biblioteki standardowych modułów itp). Ale także, o | ||
czym warto pamiętać, systemy wspomagające budowanie specyfikacji dla | czym warto pamiętać, systemy wspomagające budowanie specyfikacji dla | ||
programów w tym języku, systematyczne konstruowanie i analizę | programów w tym języku, systematyczne ich konstruowanie i analizę | ||
czy weryfikację tych programów. | |||
Aktualna wersja na dzień 09:50, 27 wrz 2006
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.
