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



 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. - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Descargar gratis o leer online en formato PDF el libro: 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

Autor: Defense Technical Information Center

Fuente: https://archive.org/







Documentos relacionados