Alphard (programming language) explained

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.^[1] 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,^[2] as well as the mapping functions from Lisp^[3] and made it general case.^[4]

Further reading

• Book: Cleaveland, J. Craig. An Introduction to Data Types. 1986. Addison-Wesley. 0201119404.

Notes and References

1. Wulf, William A.. London, Ralph L. . Shaw, Mary . An Introduction to the Construction and Verification of Alphard Programs . . 2 . 4 . 253–265 . December 1976. 10.1109/TSE.1976.233830 .
2. Book: Newell, Allen . Allen Newell

   . Allen Newell . Information processing language-V manual. 12 May 2012. 1964. Prentice-Hall.

3. Book: McCarthy, John. John McCarthy (computer scientist)

   . John McCarthy (computer scientist). LISP 1.5 programmer's manual. 1965. M.I.T. Press. Cambridge. 978-0262130110. 2d. registration.

4. Book: Shaw, Mary. Alphard: form and content. 12 May 2012. 1981. Springer-Verlag. 978-3-540-90663-6.