Alphard (programming language)

From Wikipedia, the free encyclopedia

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. (March 2007) Please help improve this article by adding citations to reliable sources. Unverifiable material may be challenged and removed.