プログラム意味論
プログラム意味論からの派生として以下のようなものがある:
「Action Semantics」 は表示的意味論をモジュール化し、形式化プロセスを2段階(マクロ意味論とマイクロ意味論)に分け、意味の表示を単純化するために 3種類の意味論的実体(action、data、yielder)を予め定義したものである。
「属性文法」は、言語の様々な文法の「メタデータ」(属性)を系統立てて計算するシステムを定義する。属性文法は、対象言語の構文に基づきそれに属性という形で意味を付与する、表示的意味論の一種と見ることもできる。プログラム意味論以外の応用・活用例としては、正規文法や文脈自由文法を文脈依存言語に変換する手法や、yaccの定義などがある(yaccにおいてCFGの規則に付随する「アクション」は、属性文法における「属性値」を得るための規則に他ならず、CFGの規則に「意味規則」が付いているyaccの定義は、属性文法となっている)。
「関数的意味論」または「圏論的意味論」は圏論をベースとした形式意味論である。
「並行性意味論」は並行処理の形式意味論を扱う意味論一般を指す。特筆すべきものとしてはアクターモデルやプロセス代数がある。
「ゲーム意味論」はゲーム理論をベースとした形式意味論である。