2012-01-10から1日間の記事一覧
今日は 6.4.6 履歴変数からです。 固定サイズメモリモデルの抽象モデル準拠の証明はそのままだとできない。固定モデルは初期状態から全てのアドレスが任意の初期値への対応を持つため unwritten という「既にそのアドレスに書き込みされたか」というフィール…
今日は 6.4.6 履歴変数からです。 固定サイズメモリモデルの抽象モデル準拠の証明はそのままだとできない。固定モデルは初期状態から全てのアドレスが任意の初期値への対応を持つため unwritten という「既にそのアドレスに書き込みされたか」というフィール…