動的意味論
dynamic senamtics
動的意味論 - Wikipedia
Dynamic semantics - Wikipedia
Dynamic Semantics (Stanford Encyclopedia of Philosophy)
式$ \varphiは、文脈$ Cを文脈$ C\lbrack\varphi\rbrackに變換する函數$ \lbrack\varphi\rbrackに飜譯される
更新意味論
共通部分的更新
式$ \varphiの示す命題を$ \llbracket\varphi\rrbracketとして、任意の文脈$ \forall Cに對して$ C\lbrack\varphi\rbrack=C\cap\llbracket\varphi\rrbracketであれば、式$ \varphiは共通部分的である
樣相論理の檢査意味論
自己反映計算 (reflection)
自己反映計算 (計算機科学) - Wikipedia
リフレクション (情報工学) - Wikipedia
macro は reflection と meta programming を區別しない
reflective tower
BER MetaOCamlOCaml.icon
OCaml やる理由
introspection。meta programming
RubyRuby.icon
自己書き換へ系 (self-modifying code)
自己書き換えコード - Wikipedia
談話表示理論 (DRT; discourse representation theory)
動的述語論理 (DPL; dynamic predicate logic)
量化動的論理 (QDL; quantificational dynamic logic)
依存型意味論 (DTS; dependent type semantics)
依存型