Kurs Wybranego Języka Programowania
Ada
Plan wykładu
- Przegląd (2g):
- Typy skalarne, struktury sterowania i wyrażenia strukturalne (2g):
- Tablice, rekordy i wskaźniki (2g):
- Podprogramy, pakiety i typy prywatne (2g):
- Programowanie obiektowe i wyjątki (2g):
- Kontrakty (2g):
- Typy numeryczne i typy parametryczne (2g):
- Podprogramy i pakiety rodzajowe (2g):
- Programowanie równoległe (2g):
- Techniki obiektowe (2g):
- Techniki wielozadaniowe (2g):
- Biblioteki predefiniowane (2g): Standard, Ada, Interfaces, System
- Biblioteki zewnętrzne (2g):
- Automatyczna weryfikacja programów (2g):
- Podsumowanie (2g)
Literatura
Literatura podstawowa
- John Barnes. Programming in Ada 2012. Cambridge University Press, 2014.
Materiały dodatkowe
- John Barnes. Rationale for Ada 2012.
- Quentin Ochem. Ada for the C++ or Java Developer.
- Ada 2012 Language Reference Manual
- Ada Comparison Chart
Starsze książki
Poniższe książki dotyczą starszych standardów. Na stronie Ada Comparison Chart możesz zobaczyć czym te standardy się różnią.
Ada 2005
Ada 95
Ada 83
Ada 2005
- John Barnes. Programming in Ada 2005. Addison-Wesley, 2006.
Ada 95
- Zbigniew Huzar, Zbigniew Fryźlewicz, Iwona Dubielewicz, Bogumiła Hnatkowska, Jacek Waniczek. Ada 95. Helion, 1998.
Ada 83
- A. Nico Habermann, Dewayne E. Perry. Ada dla zaawansowanych. Wydawnictwo Naukowo-Techniczne, Warszawa, 1989.
- Ian C. Pyle. Ada. Wydawnictwa Naukowo-Techniczne, Warszawa, 1986.