An Operational Semantics for JavaScript
今まで A 草研の blog に読んだ論文の記録を付けてましたが、気軽にいろいろお願いできるメンテナが異動してしまったのでこっちに記録することにしました。過去のデータもいずれ持ってくる予定です。
で、本題。今回の論文はフルスペックの ECMAScript の操作的意味論の提案。仕様書には例によって自然言語で言語の意味が書かれているけど、それを操作的意味によって厳密に定義している。フルスペックに対応するために結構ややこしいことになっていて、意味の定義はまだ読み切れていない。
author="Sergio Maffeis and John C. Mitchell and Ankur Taly",
title="{An Operational Semantics for JavaScript}",
booktitle="APLAS 2008",
volume="5356",
series="LNCS",
publisher="Springer",
pages="307--325",
year="2008"