A Categorization and Evaluation of Formal and Semi-Formal Definition Techniques.
AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OHIO SCHOOL OF ENGINEERING
Pagination or Media Count:
Operational techniques for defining computer programming languages are examined specifically, SEMANOL, the Vienna Definition Language VDL, and BASIS1-12. A survey of the operational methods is given, in which specific examples of SEMANOL, the VDL, and BASIS1-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 BASIS1-12. The SEMANOL technique was judged as the best technique followed by BASIS1-12 and the VDL, in that order. Author
- Computer Programming and Software