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

Abstract

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1978
Accession Number
ADA052917

Entities

People

  • Bruce Daniel Guilmain

Organizations

  • Air Force Institute of Technology

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Air Force
  • Cells
  • Computations
  • Computer Programming
  • Computer Programs
  • Computers
  • Electrical Engineering
  • Engineering
  • Formal Languages
  • Grammars
  • Language
  • Linguistics
  • Numbers
  • Programming Languages
  • Software Development
  • Standards
  • Trees

Fields of Study

  • Computer science

Readers

  • Astronomy/Astrophysics
  • Information Retrieval
  • Software Engineering.