Jump to content

Alphard (programming language)

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by 142.58.181.84 (talk) at 02:10, 29 September 2005. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Pascal-like language for data abstraction and verification. Used the 'form', which combines a specification and an implementation. Took the generator from PL and made it a general case.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Alphard_(programming_language)&oldid=24284190"