Alphard (programming language)

From Wikipedia, the free encyclopedia
Revision as of 13:21, 29 November 2024 by imported>Citation bot (Add: url, doi. | Use this bot. Report bugs. | Suggested by Dominic3203 | Category:Programming language topic stubs | #UCB_Category 356/451)
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Alphard is a Pascal-like programming language for data abstraction and verification, proposed and designed by William A. Wulf, Ralph L. London, and Mary Shaw.[1] The language was the subject of several research publications in the late 1970s, but was never implemented. Its main innovative feature was the introduction of the 'form' datatype, which combines a specification and a procedural (executable) implementation. It also took the generator from IPL-V,[2] as well as the mapping functions from Lisp[3] and made it general case.[4]

References

Template:Reflist

Further reading

  • Script error: No such module "citation/CS1".

Template:Authority control


  1. REDIRECT Template:Prog-lang-stub

Template:R shell

  1. ↑ Script error: No such module "Citation/CS1".
  2. ↑ Script error: No such module "citation/CS1".
  3. ↑ Script error: No such module "citation/CS1".
  4. ↑ Script error: No such module "citation/CS1".
Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=Alphard_(programming_language)&oldid=1951056"