3813100220
Spis treści
14.2.2. Implementacja drzew w SML-u................... 250
14.2.3. Drzewa binarne o etykietowanych wierzchołkach.......... 253
14.2.4. Binarne drzewa poszukiwań..................... 253
14.2.5. Sterty................................. 258
14.3. Abstrakcyjne drzewa rozbioru w SML-u................... 261
14.4. Zadania.................................... 264
15.1. Oddzielenie specyfikacji i implementacji: Modula 2............. 265
15.2. Rodzajowość w Adzie ............................ 265
15.3. Moduły w SML-u............................... 265
15.3.1. Motywacja.............................. 265
15.3.2. Struktury, sygnatury i funktory................... 267
15.3.3. Dodatkowa składnia parametru funktora.............. 272
15.3.4. Deklaracje typów w strukturach................... 274
15.3.5. Przezroczystość sygnatur...................... 277
15.3.6. Specyfikacja exception ....................... 279
15.3.7. Specyfikacja typu równościowego.................. 279
15.3.8. Replikacja typów i wyjątków.................... 281
15.3.9. Modularyzacja programu a przezroczystość sygnatur........ 283
15.3.10. Specyfikacja sharing......................... 285
15.3.11. Wyrażenie with type......................... 286
15.3.12. Zasada zamkniętości sygnatur.................... 287
15.3.13. Dyrektywa open........................... 289
15.3.14. Dyrektywa include.......................... 290
15.3.15. Dyrektywa infix w strukturach ................... 291
15.3.16. Polimorfizm w modułach...................... 293
15.3.17. Precyzyjna kontrola polimorfizmu.................. 293
16. Abstrakcyjne typy danych 295
17. Programowanie obiektowe 297
18. Programowanie współbieżne 299
18.1. Modele współbieżności............................ 299
18.1.1. Procesy, zdarzenia i przeplot .................... 299
18.1.2. Temporalny rachunek zdań z czasem liniowym........... 299
18.2. Programowanie współbieżne......................... 301
18.2.1. Semafory............................... 301
18.2.2. Monitory............................... 301
18.2.3. Warunkowe rejony krytyczne.................... 301
18.3. Programowanie rozproszone......................... 301
18.3.1. Ada.................................. 301
18.3.2. Concurrent ML ........................... 301
Wyszukiwarka
Podobne podstrony:
Spis treści 4(1) 14.1.2. Rola właściwości sprężystych tkanki płucnej i napięcia
Spis treści 14.1.3. Reakcje charakterystyczne
Spis treści 9 14.3.3. Generowanie ruchu robota..........................207 14.3.4
000VII SPIS TREŚCI 3.14.3. Kocioł bezwalczakowy BB-1150
000XII SPIS TREŚCI 14.1.4. Moc i sprawność elektrowni z silnikami spalinowymi.....
Spis treści ,..3 ...3 ...3 ...4 ...5 ...5 .14 .15 ls .28 .30 01.
Spis treści 14.8. Młynki do mielenia produktów suchych...........245 14.9.
Spis treści 14.3. Wybrane charakterystyki użytkownika.............................
systemy operacyjne 4 XVIII Spis treściRozdział 14 Struktura pamięci trzeciorzędnej / 537 14.1
10 SPIS TREŚCI 14. Co należy do zadań wojewody w zakresie pomocy
14 Spis treści 14.5. Technologiczność konstrukcji spawanych
1tom006 SPIS TREŚCI 14 SPIS TREŚCI
M Feld TBM014 14 Spis treści 14.3.2. Obróbka ręczna na szlifierk
Spis treści 14 O 11 26 II C« U It 110III 111 Za lO1« Uta lO
więcej podobnych podstron