Alphard (programming language)

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 PL and made it general case.

This article does not cite any references or sources. Please help improve this article by adding citations to reliable sources. Unverifiable material may be challenged and removed. (March 2007)

This computer language-related article is a stub. You can help Wikipedia by expanding it.