Sémantika

sémantika imperatívnych jazykov (základné príkazy, príkaz skoku, volanie rekurzívne procedúry) - algebraická štruktúra sémantických domén, priama vs. "pokračovacia" sémantika (continuation)
sémantika adresovania - sémantika blokov (prostredie vs. stav), modelovanie domén pre zložené dátové štruktúry
sémantika beztypových funkcionálnych jazykov - lambda-kalkul, algebraická štruktúra domén, fixpointová sémantika, reflexívne domény, univerzálna doména
sémantika nedeterministických konštrukcií - "relačná" fixpointová sémantika, Egli-Milnerova usporiadanie na reláciach (aproximácia)
vlastnosti Hoareovských systémov (axiomatická sémantika) - zdravosť (korektnosť), resp. relatívna úplnosť systému
najslabšia vstupná a najsilnejšia výstupná podmienka - syntaktická vs. sémantická charakterizácia, vyjadriteľnosť wp a sp
porovnávanie operačnej, denotačnej a axiomatickej sémantiky