Alphard (programming language)
Appearance
Alphard programming language is a 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.