Inferara
|
English
研究
論文
ブログ
お問い合わせ
形式的セマンティクス
スモールステップとビッグステップのセマンティクス
このブログでは、スモールステップとビッグステップのセマンティクス、その違い、コンピュータプログラムの分析への応用について概説します。