Alphard (programming language)
 | The topic of this article may not meet Wikipedia's general notability guideline. (October 2011) |
 | This article needs additional citations for verification. (March 2007) |
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]
References
- ^ Wulf, William A., London, Ralph L., Shaw, Mary (1976). "An Introduction to the Construction and Verification of Alphard Programs". IEEE Transactions on Software Engineering. 2 (4): 53–265.
{{cite journal}}: CS1 maint: multiple names: authors list (link) - ^ Newell, Allen (1964). Information Processing Language-V Manual. Prentice-Hall.
- ^ McCarthy, John (1962). LISP 1.5 Programmer's Manual. MIT Press.
- ^ Shaw, Mary (1981). ALPHARD: Form and Content. New York, NY: Springer-Verlag. p. 75. ISBN 0-387-90663-0.
 | This programming-language-related article is a stub. You can help Wikipedia by expanding it. |