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

Misreading Chat - Un pódcast de Hajime Morrita, Jun Mukai

Podcast artwork

Categorías:

Tecnología

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