The Stanford Ada Style Checker: An Application of the Anna Tools and Methodology.

Abstract

This report describes the Ada style checker, which was designed and constructed in Winter and Spring 1989-9. The style checker is based on the Stanford Anna Tools and has been annotated using Anna. The style check examines Ada programs for 'correct style' which is defined in a style specification language (SSL). A style check generator is used to automatically generate a style checker based on a set of style specifications.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1991
Accession Number
ADA311136

Entities

People

  • Jens U. Skakkebaek
  • Michal Walicki
  • Sriram Sankar

Organizations

  • Stanford University

Tags

Communities of Interest

  • Weapons Technologies

DTIC Thesaurus Topics

  • Circuits
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Dictionaries
  • Electrical Engineering
  • Engineering
  • High Level Languages
  • Language
  • Programming Languages
  • Short Circuits
  • Software Development
  • Specifications
  • Standards
  • Vocabulary

Fields of Study

  • Engineering

Readers

  • Computer Science.
  • Military History of the United States in the 20th Century.
  • Organizational Process Management (OPM).