A Categorization and Evaluation of Formal and Semi-Formal Definition Techniques.
Guilmain,Bruce Daniel · Defense Technical Information Center (DTIC) · 1978
Operational techniques for defining computer programming languages are examined; specifically, SEMANOL, the Vienna Definition Language (VDL), and BASIS/1-12. A survey of the operational methods is given, in which specific examples of SEMANOL, the VDL, and BASIS/1-12 are explained in detail. A cataloguing criteria is established and evaluated. The cataloguing criteria is then used to categorize and evaluate SEMANOL, the VDL, and BASIS/1-12. The SEMANOL technique was judged as the best technique followed by BASIS/1-12 and the VDL, in that order. (Author)