Alphard (programlama dili) - Alphard (programming language)

Alphard bir Pascal -sevmek Programlama dili için veri soyutlama ve doğrulama, öneren ve tasarlayan William A. Wulf, Ralph L. London ve Mary Shaw.[1] Dil, 1970'lerin sonlarında birkaç araştırma yayınına konu oldu, ancak hiçbir zaman uygulanmadı. Başlıca yenilikçi özelliği 'biçimin' tanıtılmasıydı. veri tipi birleştiren Şartname ve bir prosedürel (yürütülebilir) uygulama. Ayrıca aldı jeneratör itibaren IPL-V,[2] yanı sıra eşleme fonksiyonları itibaren Lisp[3] ve genel durum haline getirdi.[4]

Referanslar

  1. ^ Wulf, William A .; Londra, Ralph L .; Shaw, Mary (1976). "Alphard Programlarının Oluşturulması ve Doğrulanmasına Giriş". Yazılım Mühendisliğinde IEEE İşlemleri. 2 (4): 53–265.
  2. ^ Newell, Allen (1964). Bilgi işlem dili-V kılavuzu. Prentice-Hall. Alındı 12 Mayıs 2012.
  3. ^ McCarthy, John (1965). LISP 1.5 programcı kılavuzu (2. baskı). Cambridge: M.I.T. Basın. ISBN  978-0262130110.
  4. ^ Shaw, Mary (1981). Alphard: biçim ve içerik. Springer-Verlag. ISBN  978-3-540-90663-6. Alındı 12 Mayıs 2012.

daha fazla okuma

  • Cleaveland, J. Craig (1986). Veri Türlerine Giriş. Addison-Wesley. ISBN  0201119404.