プログラム意味論
↑ 実用上は一般的な使い方とはなっていないが、yacc(Yet Another Compiler Compiler)の言葉通り、yaccが定義から生成するコードがそれだけで完備した言語処理系になるように使えば、それは属性文法によってその言語の意味論を定義して、yaccにより自動的に処理系を生成した、ということになり、実はプログラム意味論そのものの応用となる。