#24 – EMME: A Formal Tool for ECMAScript Memory Model Evaluation

Misreading Chat - A podcast by Hajime Morrita, Jun Mukai

Categories:

Technology

JavaScript 用の共有メモリ仕様 SharedArrayBuffer に関するメモリモデルを検証した論文について向井が話します。