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.
Further reading
- Cleaveland, J. Craig (1986). An Introduction to Data Types. Addison-Wesley. ISBN 0201119404.
References
Wulf, William A.; London, Ralph L.; Shaw, Mary (December 1976). "An Introduction to the Construction and Verification of Alphard Programs" (PDF). IEEE Transactions on Software Engineering. 2 (4): 253–265. doi:10.1109/TSE.1976.233830. http://www.cs.cmu.edu/~Compose/VerificationofAlphard1976.pdf ↩
Newell, Allen (1964). Information processing language-V manual. Prentice-Hall. Retrieved 12 May 2012. /wiki/Allen_Newell ↩
McCarthy, John (1965). LISP 1.5 programmer's manual (2d ed.). Cambridge: M.I.T. Press. ISBN 978-0262130110. 978-0262130110 ↩
Shaw, Mary (1981). Alphard: form and content. Springer-Verlag. ISBN 978-3-540-90663-6. Retrieved 12 May 2012. 978-3-540-90663-6 ↩