-
JavaScriptは最も活発に使われているプログラミング言語であり、tc39が保守するecma 262という言語仕様と、さまざまな実装を備えています。
-
特にE 262の年次リリースでは、仕様の正確性と適合性を検査する自動化メカニズムが不足していたため、問題が発生していました。
-
プロ仕様から機械化された仕様を自動抽出し、適合性テストプログラムの合成や型解析の実行など、さまざまな応用を可能にする新しいアプローチが提案されました。
-
抽出された機械化仕様により、特定目的言語の実装を自動生成でき、JavaScript言語開発で実際に使えるようオープンソースとして公開されました。
-
プログラミング言語開発における有望なアプローチは、まず機械化仕様で言語を設計し、その後それを通じてPro仕様と言語実装の両方を生成することです。これはJavaScriptで実現可能かつ実用的であることが証明されました。
-
この研究の詳細は、ACMの2024年4月号のCommunicationsで確認でき、既存のプログラミング言語と新しいプログラミング言語の両方に適用できる方法が提示されています。
4件のコメント
こういう記事を紹介してくれるのはありがたいのですが、肝心の論文原文へのリンクなどを載せてくれることはあまりなくて残念です。
一部メディアの科学関連記事では、記事のいちばん下に、その記事で紹介している論文を探せるよう DOI を書いてくれることがありますが、そうした慣行がもっと広く普及してほしいと思います。
ともあれ、というわけで上の記事で触れられている論文と GitHub のリンクを私が直接探して持ってきました。
あっ、私もニュースだけ持ってきていたのですが、論文関連の内容を補足してくださってありがとうございます！
eumaはタイプミスのようですね！以下は関連するYouTube動画です。
https://www.youtube.com/watch?v=JGxc-KIUnQY
上記の内容はCorelyを利用して要約したものです。
https://corely.ai/content/…