Accession Number:

ADA052917

Title:

A Categorization and Evaluation of Formal and Semi-Formal Definition Techniques.

Descriptive Note:

Master's thesis,

Corporate Author:

AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OHIO SCHOOL OF ENGINEERING

Personal Author(s):

Report Date:

1978-03-01

Pagination or Media Count:

117.0

Abstract:

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

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE