Skip to search formSkip to main contentSkip to account menu

Alphard (programming language)

Known as: Alphard programming language 
Alphard is a Pascal-like programming language for data abstraction and verification, proposed and designed by William A. Wulf, Ralph L. London, and… 
Wikipedia (opens in a new tab)

Related topics

Related topics

6 relations
Formal verificationFunctional specificationLispList of programming languages by type

Search for papers about Alphard (programming language)

Search papers
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)