Alphard (programming language)
Appearance
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 has not been added to any content categories. Please help out by adding categories to it so that it can be listed with similar articles, in addition to a stub category. (July 2010) |