Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,857,546 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Formal verification
Functional specification
Lisp
List of programming languages by type
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Stability of voxel values in cone-beam computed tomography
M. Naitoh
,
Hidetoshi Aimiya
,
K. Nakata
,
K. Gotoh
,
E. Ariji
Oral Radiology/Springer
2013
Corpus ID: 255134030
Measurements of jaw bone density are important for dental implants, and stable voxel values in cone-beam computed tomography…
Expand
1978
1978
An informal definition of Alphard (Preliminary)
W. Wulf
,
P. Hilfinger
,
Robert P. Fitzgerald
,
I. Kimura
,
R. L. London
1978
Corpus ID: 34158174
Abstract : The Alphard language design has four major goals: (1) to support modern programming methodology, (2) to permit…
Expand
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)
ACCEPT & CONTINUE