出典:Wikipedia
出典:『Wikipedia』 (2010/09/03 18:17 UTC 版)
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 IPL-V, as well as the mapping functions from Lisp and made it general case.