ダイアナ（中級言語）

DIANA ( Descriptive Intermediate Attributed Notation for Ada ) は、 Adaプログラムのセマンティクスを表現するために使用される中間言語です。

歴史

もともとは、コンパイラのフロントエンド(構文解析) とミドルエンド(意味解析)と、コンパイラのバックエンド(コード生成と最適化)との間のインターフェースとして設計されました。他の言語ツールでは、内部表現(IR) としても使用されます。

DIANA は、Ada をベースにした PL/SQLでも使用されます。

DIANA は抽象データ型であり、その具体的な実装はIDL 仕様言語を使用して定義されます。

DIANA は、Ada プログラムの初期の表現である TCOL と AIDA から派生したものです。

カールスルーエのAdaのサブセットであるAda-0（1980）は、最初はAIDAを使用していましたが^[1]、後にAIDAはDIANAに置き換えられました。完全なカールスルーエAdaコンパイルシステムでは、DIANAとIDL外部表現も使用して、ミドルエンドとコード生成バックエンド間のマーシャリングを行いました。

参考文献

脚注

^ Goos, Gerhard; Winterstein, Georg (1980)。「Ada 用コンパイラフロントエンドに向けて」。Adaプログラミング言語に関する ACM-SIGPLAN シンポジウムの議事録。Ada に関する年次国際会議。ACM-SIGPLAN。pp. 36–46。2016年 2 月 10 日閲覧。

一般的な

グース、ゲルハルト。ウルフ、ウィリアム A.エヴァンス、アーサー。バトラー、ケネス J. (2000)。DIANA: Ada の中間言語。コンピューターサイエンスの講義ノート。 Vol. 161. スプリンガー。ISBN 0-387-12695-3。
DIANA リファレンスマニュアル、ドラフト改訂版 4: http://www.dtic.mil/dtic/tr/fulltext/u2/a272792.pdf 2016 年 3 月 3 日にWayback Machineにアーカイブされました

[1] Goos, Gerhard; Winterstein, Georg (1980)。「Ada 用コンパイラフロントエンドに向けて」。Adaプログラミング言語に関する ACM-SIGPLAN シンポジウムの議事録。Ada に関する年次国際会議。ACM-SIGPLAN。pp. 36–46。2016年 2 月 10 日閲覧。