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

Misreading Chat - En podcast av Hajime Morrita, Jun Mukai

Podcast artwork

Kategorier:

Teknik

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