2222-42 / studyingSpecifyingSystems

0 stars 0 forks source link

Open 2222-42 opened 4 years ago

2222-42 commented 4 years ago

why

Specifying Systemsを読んでいて、Higher-SpecとLower-Specの間のImplementationがよくわからなかったから。

[x] Read the paper L. Lamport, S. Merz (2017)"Auxiliary Variables in TLA+"
[x] Make the abstraction only for me.
[ ] Read concerning "Specifying Systems" related to the Auxiliary Variables and implementations.

2222-42 commented 4 years ago

もっと雑によんでもいいのでは？となった。

要約を作っているけれど、あんまり要約を作ってもうまみがない、なぜなら論文が十分にシンプルだから。

2222-42 commented 4 years ago

読み終えたけれど、よくわかっていない。

2222-42 commented 4 years ago

補助変数が必要になるようなSpecificationの実装が出てきたときに、読み直そう