Alphard (programming language)
Appearance
![]() | The topic of this article may not meet Wikipedia's general notability guideline. (October 2011) |
Alphard programming language is a Pascal-like language for data abstraction and verification used as a research vehicle in the 1970s. It used the 'form' datatype, which combines a specification and an implementation. It also took the generator from IPL-V,[1] as well as the mapping functions from Lisp[2] and made it general case.[3]