Alphard (programming language)

From Wikipedia, the free encyclopedia

You have new messages (last change).

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 or section does not adequately cite its references or sources.
Please help improve this article by adding citations to reliable sources. (help, get involved!)
This article has been tagged since March 2007.
Soft Eng logo This computer language-related article is a stub. You can help Wikipedia by expanding it.
Retrieved from "http://en.wikipedia.org../../../a/l/p/Alphard_%28programming_language%29.html"