Loading article…
Alphardは、ウィリアム・A・ウルフ、ラルフ・L・ロンドン、メアリー・ショーによって提案され設計された、データの抽象化と検証のためのPascal風プログラミング言語です。[1]この言語は1970年代後半にいくつかの研究出版物の対象となりましたが、実装されることはありませんでした。その主な革新的な特徴は、仕様と手続き型（実行可能）実装を組み合わせた「フォーム」データ型の導入でした。また、IPL-Vのジェネレーター[2]とLispのマッピング関数[3]を採用し、一般的なケースにしました。 [ 4]
参考文献
- ^ Wulf, William A.; London, Ralph L.; Shaw, Mary (1976 年 12 月). 「Alphard プログラムの構築と検証の概要」(PDF) . IEEE Transactions on Software Engineering . 2 (4): 253–265. doi :10.1109/TSE.1976.233830.
- ^ Newell, Allen (1964). 情報処理言語-Vマニュアル. Prentice-Hall . 2012年5月12日閲覧。
- ^ マッカーシー、ジョン(1965)。LISP 1.5 プログラマーズマニュアル(第 2 版)。ケンブリッジ: MIT プレス。ISBN 978-0262130110。
- ^ ショー、メアリー（1981）。アルファルド：形式と内容。シュプリンガー・フェアラーク。ISBN 978-3-540-90663-6. 2012年5月12日閲覧。
さらに読む
- Cleaveland, J. Craig (1986)。『データ型入門』。Addison- Wesley。ISBN 0201119404。