DTIC ADA052917: A Categorization and Evaluation of Formal and Semi-Formal Definition Techniques.Report as inadecuate



 DTIC ADA052917: A Categorization and Evaluation of Formal and Semi-Formal Definition Techniques.


DTIC ADA052917: A Categorization and Evaluation of Formal and Semi-Formal Definition Techniques. - Download this document for free, or read online. Document in PDF available to download.

Download or read this book online for free in PDF: DTIC ADA052917: A Categorization and Evaluation of Formal and Semi-Formal Definition Techniques.
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 c

Author: Defense Technical Information Center

Source: https://archive.org/







Related documents