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

Misreading Chat - Podcast autorstwa Hajime Morrita, Jun Mukai

Podcast artwork

Kategorie:

Technologia

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