形式的セマンティクス

このブログでは、スモールステップとビッグステップのセマンティクス、その違い、コンピュータプログラムの分析への応用について概説します。