Princípy programovacích jazykov, Martin Kuba

Princípy programovacích jazykov

programovacie jazyky

Martin Kuba

sémantika

podprogramy

kompilácia programov

paralelné programovanie

• 1 Úvod
  1.1 Syntaxe
  2 Sémantika
  2.1 Proměnné
  2.2 Datové typy
  2.2.1 Typy
  2.2.2 Podtypy
  2.2.3 Odvozené typy
  2.2.4 Skalární typy
  2.2.5 Pole . .
  2.2.6 Záznam
  2.2.7 Ukazatelové typy
  3 Srovnání síly jazyků
  3.1 D-programy
  3-2 D '-programy
  3-3 BJ« programy
  3-4 do-repeat-eyele-exit programy
  3.4.1 REn programy
  3.4.2 DRE n programy
  3-4.3 RECn programy
  3.4.4 DRECn programy
  3-5 Kosarajanova hierarchie
  4 Podprogramy
  4.1 Náhrada formálního parametru skutečným
  4.1.1 Hodnotou
  4.1.2 Výsledkem
  4.1.3 Hodnotou-výsledkem
  4.1.4 Odkazem
  4.1.5 Jménem
  4.1.6 Srovnání rozdílu
  4.2 Režim parametrů - ADA
  4.3 Vedlejší efekty podprogramů
  4.4 Volání podprogramů
  5 Moduly
  5.1 Abstraktní datový typ FRONTA
  5.1.1 Realizace a použití několika front . . .
  5.1.2 Realizace a použití front různého typu
  6 Kompilace programu
  6.0.3 Sestavení, knihovny
  6.0.4 Aktuálnost knihovny
  6.0.5 Rckompilační seznam
  6.0.6 Výjimky
  Paralelní programování
  7.1 Paralelní procesy
  7.2 Problém vzájemného vyloučení pro N procesů
  7.2.1 Vzájemné vyloučení - řešení č.l
  7.2.2 Vzájemné vyloučení - řešení č.2
  7.2.3 Vzájemné vyloučení - řešení č.3
  7.2.4 Vzájemné vyloučení - řešení č.4
  7.2.5 Vzájemné vyloučení - Dcrccrúv algoritmus . .
  7.2.6 Vzájemné vyloučení pro N procesů
  7.3 Scmaforv - datovv typ
  7.3.1 Vzájemné vyloučení N procesů pomocí semaforu
  7.4 Producent a konzument
  7.5 Monitory
  7.6 Readcrs and writers
  7.7 The problém of the dining philosophcrs
  7.8 Synchronizace procesů - Ada
  7.8.1 Synchronní vvmčna dat
  7.8.2 Selektivní čekání volaného na randezvous
  7.8.3 Selektivní volání randezvous
  7.8.4 Producent a konzument v Adč