../code/conceptPage.scroll

id alphard-programming-language
name Alphard
appeared 1974
tags pl
lab Carnegie Mellon && USC && Carnegie Mellon

wikipedia https://en.wikipedia.org/wiki/Alphard_%28programming_language%29
 related pascal lisp
 summary Alphard is a Pascal-like programming language for data abstraction and verification, proposed and designed by William A. Wulf, Ralph L. London, and Mary Shaw. The language was the subject of several research publications in the late 1970s, but was never implemented. Its main innovative feature was the introduction of the 'form' datatype, which combines a specification and a procedural (executable) implementation. It also took the generator from IPL-V, as well as the mapping functions from Lisp and made it general case.
 created 2005
 backlinksCount 7
 pageId 2789750
 revisionCount 35
 dailyPageViews 4
 appeared 1970

semanticScholar 3
 year|title|doi|citations|influentialCitations|authors|paperId
 1976|An introduction to the construction and verification of Alphard programs|10.1109/TSE.1976.233830|321|7|W. Wulf and R. L. London and M. Shaw|7d06bf84338e89456f609896de4e41f61086d98e
 1981|Preliminary) An Informal Definition of Alphard|10.1007/978-1-4612-5979-4_13|6|0|P. Hilfinger and G. Feldman and Robert P. Fitzgerald and I. Kimura and R. L. London and K. V. S. Prasad and V. R. Prasad and Jonathan Rosenberg and M. Shaw and W. Wulf|7f7a88dff66ffba91b67e4a5985f08eaf3977a9c
 1978|An informal definition of Alphard (Preliminary)|10.21236/ada058871|6|0|W. Wulf and P. Hilfinger and Robert P. Fitzgerald and I. Kimura and R. L. London|75f852ec34afda8a477bc3909118c2d37e3e514e