プログラミング言語に関して,構文と意味,オブジェクト指向パラダイムと型システムについて論ずる.また,プログラミング言語処理系に関して,ごみ集め技法,処理系の構造とコンパイラ,並列言語処理系の実装技術について論ずる.